From f737fe84f0464871543b16db87516473e580ed9f Mon Sep 17 00:00:00 2001
From: Christopher Baines <cb15g11@soton.ac.uk>
Date: Sat, 2 May 2015 11:44:29 +0100
Subject: Change jQuery version to 1.7.2

This is the current release in Debian, and as such is DFSG compliant.
---
 Makefile         | 2 +-
 libraries/jquery | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index aead42b..eccc117 100755
--- a/Makefile
+++ b/Makefile
@@ -42,7 +42,7 @@ ifneq ("$(wildcard $(SYSTEM_JQUERY))","")
 else
 	@echo "System version of jquery does not exist, downloading...\n"
 	@mkdir -p libraries/jquery/dist/
-	wget http://code.jquery.com/jquery-2.1.1.js -O libraries/jquery/dist/jquery.js
+	wget https://code.jquery.com/jquery-1.7.2.js -O libraries/jquery/dist/jquery.js
 	@$(PRINT_OK)
 endif
 
diff --git a/libraries/jquery b/libraries/jquery
index b807aed..17eeebb 160000
--- a/libraries/jquery
+++ b/libraries/jquery
@@ -1 +1 @@
-Subproject commit b807aedb7fee321fb3aa5d156a5a256ab0634e2d
+Subproject commit 17eeebb3c04c72e5d00520c191cce858844aedec
-- 
cgit v1.2.3