From 98a9b1e2222ee93ebbc70aea8559a16bf01f8821 Mon Sep 17 00:00:00 2001
From: Manuel Knitza <manuel.knitza@uni.kn>
Date: Sun, 10 Feb 2013 02:55:50 +0100
Subject: [PATCH] update jquery 1.7.1 -> 1.9.1

---
 bin/installDeps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/installDeps.sh b/bin/installDeps.sh
index 6f5c732cd..7c68dd794 100755
--- a/bin/installDeps.sh
+++ b/bin/installDeps.sh
@@ -77,7 +77,7 @@ echo "Ensure that all dependencies are up to date..."
 
 echo "Ensure jQuery is downloaded and up to date..."
 DOWNLOAD_JQUERY="true"
-NEEDED_VERSION="1.7.1"
+NEEDED_VERSION="1.9.1"
 if [ -f "src/static/js/jquery.js" ]; then
   if [ $(uname) = "SunOS" ]; then
     VERSION=$(cat src/static/js/jquery.js | head -n 3 | ggrep -o "v[0-9]\.[0-9]\(\.[0-9]\)\?");