From f1de2ac937643bf80f86af2e130aae958b99be50 Mon Sep 17 00:00:00 2001 From: Stephen Birarda <commit@birarda.com> Date: Wed, 1 Oct 2014 09:00:24 -0700 Subject: [PATCH] rename jquery for easier updating in domain-server --- domain-server/resources/web/assignment/index.shtml | 2 +- domain-server/resources/web/footer.html | 2 +- .../resources/web/js/{jquery-2.1.1.min.js => jquery.min.js} | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename domain-server/resources/web/js/{jquery-2.1.1.min.js => jquery.min.js} (100%) diff --git a/domain-server/resources/web/assignment/index.shtml b/domain-server/resources/web/assignment/index.shtml index 27c84be985..b8f4fbb637 100644 --- a/domain-server/resources/web/assignment/index.shtml +++ b/domain-server/resources/web/assignment/index.shtml @@ -6,7 +6,7 @@ </head> <body> <pre id='editor' style='font-size: 14px;'><!--#include file="placeholder.js"--></object></pre> - <script src='../js/jquery-2.0.3.min.js'></script> + <script src='../js/jquery.min.js'></script> <script src='js/ace/ace.js' type='text/javascript'></script> <script src='js/assignment.js' type='text/javascript'></script> <div class='big-button' id='deploy-button'> diff --git a/domain-server/resources/web/footer.html b/domain-server/resources/web/footer.html index 199a835cf1..4ab3ed0b31 100644 --- a/domain-server/resources/web/footer.html +++ b/domain-server/resources/web/footer.html @@ -1,4 +1,4 @@ </div> -<script src='/js/jquery-2.1.1.min.js'></script> +<script src='/js/jquery.min.js'></script> <script src='/js/bootstrap.min.js'></script> <script src='/js/domain-server.js'></script> \ No newline at end of file diff --git a/domain-server/resources/web/js/jquery-2.1.1.min.js b/domain-server/resources/web/js/jquery.min.js similarity index 100% rename from domain-server/resources/web/js/jquery-2.1.1.min.js rename to domain-server/resources/web/js/jquery.min.js