[PATCH] Let's serve JQuery

[Wald Commits]

# HG changeset patch
# User tom at ahoernchen
# Date 1396882605 -7200
# Node ID eb6b5091432472c0d176f91f355bc4e8e6c3c6bc
# Parent  2a0b9abe6a06245c0e839cf2d636f124e84f0ec3
Let's serve JQuery.

diff -r 2a0b9abe6a06 -r eb6b50914324 community.html
--- a/community.html	Mon Apr 07 16:45:53 2014 +0200
+++ b/community.html	Mon Apr 07 16:56:45 2014 +0200
@@ -17,7 +17,7 @@
         <!-- Bootstrap core JavaScript
         ================================================== -->
         <!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
-        <script src="https://code.jquery.com/jquery-1.10.2.min.js"></script>
+        <script src="jquery/jquery.min.js"></script>
         <!-- Include all compiled plugins (below), or include individual files as needed -->
         <script src="bootstrap/dist/js/bootstrap.min.js"></script>
         <script src="js/dive4elements.js"></script>
diff -r 2a0b9abe6a06 -r eb6b50914324 d4e.html
--- a/d4e.html	Mon Apr 07 16:45:53 2014 +0200
+++ b/d4e.html	Mon Apr 07 16:56:45 2014 +0200
@@ -22,7 +22,7 @@
         <!-- Bootstrap core JavaScript
         ================================================== -->
         <!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
-        <script src="https://code.jquery.com/jquery-1.10.2.min.js"></script>
+        <script src="jquery/jquery.min.js"></script>
         <!-- Include all compiled plugins (below), or include individual files as needed -->
         <script src="bootstrap/dist/js/bootstrap.min.js"></script>
         <script src="js/dive4elements.js"></script>
diff -r 2a0b9abe6a06 -r eb6b50914324 devel.html
--- a/devel.html	Mon Apr 07 16:45:53 2014 +0200
+++ b/devel.html	Mon Apr 07 16:56:45 2014 +0200
@@ -22,7 +22,7 @@
         <!-- Bootstrap core JavaScript
         ================================================== -->
         <!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
-        <script src="https://code.jquery.com/jquery-1.10.2.min.js"></script>
+        <script src="jquery/jquery.min.js"></script>
         <!-- Include all compiled plugins (below), or include individual files as needed -->
         <script src="bootstrap/dist/js/bootstrap.min.js"></script>
         <script src="js/dive4elements.js"></script>
diff -r 2a0b9abe6a06 -r eb6b50914324 download.html
--- a/download.html	Mon Apr 07 16:45:53 2014 +0200
+++ b/download.html	Mon Apr 07 16:56:45 2014 +0200
@@ -22,7 +22,7 @@
         <!-- Bootstrap core JavaScript
         ================================================== -->
         <!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
-        <script src="https://code.jquery.com/jquery-1.10.2.min.js"></script>
+        <script src="jquery/jquery.min.js"></script>
         <!-- Include all compiled plugins (below), or include individual files as needed -->
         <script src="bootstrap/dist/js/bootstrap.min.js"></script>
         <script src="js/dive4elements.js"></script>
diff -r 2a0b9abe6a06 -r eb6b50914324 index.html
--- a/index.html	Mon Apr 07 16:45:53 2014 +0200
+++ b/index.html	Mon Apr 07 16:56:45 2014 +0200
@@ -22,7 +22,7 @@
         <!-- Bootstrap core JavaScript
         ================================================== -->
         <!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
-        <script src="https://code.jquery.com/jquery-1.10.2.min.js"></script>
+        <script src="jquery/jquery.min.js"></script>
         <!-- Include all compiled plugins (below), or include individual files as needed -->
         <script src="bootstrap/dist/js/bootstrap.min.js"></script>
         <script src="js/dive4elements.js"></script>
diff -r 2a0b9abe6a06 -r eb6b50914324 ocean.html
--- a/ocean.html	Mon Apr 07 16:45:53 2014 +0200
+++ b/ocean.html	Mon Apr 07 16:56:45 2014 +0200
@@ -22,7 +22,7 @@
         <!-- Bootstrap core JavaScript
         ================================================== -->
         <!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
-        <script src="https://code.jquery.com/jquery-1.10.2.min.js"></script>
+        <script src="jquery/jquery.min.js"></script>
         <!-- Include all compiled plugins (below), or include individual files as needed -->
         <script src="bootstrap/dist/js/bootstrap.min.js"></script>
         <script src="js/dive4elements.js"></script>
diff -r 2a0b9abe6a06 -r eb6b50914324 river.html
--- a/river.html	Mon Apr 07 16:45:53 2014 +0200
+++ b/river.html	Mon Apr 07 16:56:45 2014 +0200
@@ -22,7 +22,7 @@
         <!-- Bootstrap core JavaScript
         ================================================== -->
         <!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
-        <script src="https://code.jquery.com/jquery-1.10.2.min.js"></script>
+        <script src="jquery/jquery.min.js"></script>
         <!-- Include all compiled plugins (below), or include individual files as needed -->
         <script src="bootstrap/dist/js/bootstrap.min.js"></script>
         <script src="js/dive4elements.js"></script>