diff index.html @ 137:076f014a6847 Dev_main

Merge from the default branch
author Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
date Fri, 29 May 2015 12:07:08 +0100
parents d9a02dbfbf2c
children 300d4f58f2b4
line wrap: on
line diff
--- a/index.html	Fri May 01 16:18:25 2015 +0100
+++ b/index.html	Fri May 29 12:07:08 2015 +0100
@@ -16,7 +16,8 @@
 		<link rel='stylesheet' type='text/css' href='graphics.css'>
 		<link rel='stylesheet' type='text/css' href='structure.css'>
 		<!-- Use jQuery hosted from Google CDN -->
-		<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.3/jquery.min.js"></script>
+		<!--<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.3/jquery.min.js"></script>-->
+		<script src="jquery-2.1.4.js"></script>
 		<script src='core.js'></script>
 		<script type="text/javascript">
 			window.onbeforeunload = function() {