rename jquery for easier updating in domain-server

This commit is contained in:
Stephen Birarda 2014-10-01 09:00:24 -07:00
parent 8f40780af0
commit f1de2ac937
3 changed files with 2 additions and 2 deletions

View file

@ -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'>

View file

@ -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>