From 1aaba7e0cf6e3cf99e8c6011cc8614344f218e07 Mon Sep 17 00:00:00 2001
From: tomByrer <tomByrer@gmail.com>
Date: Mon, 12 Aug 2013 19:21:05 -0600
Subject: [PATCH] + CDN hosting for jQuery

https://cdnjs.com/#jquery happens to have older versions.
---
 public/symbols.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/symbols.html b/public/symbols.html
index 6f89e99..a64debf 100644
--- a/public/symbols.html
+++ b/public/symbols.html
@@ -7,7 +7,7 @@
     <meta name="keywords" content="math,LaTeX,productivity,typesetting,science,machine learning,PhD">
     <link rel="stylesheet" type="text/css" href="css/style.css">
     <link rel="stylesheet" type="text/css" href="css/jquery.gritter.css" />
-    <script type='text/javascript' src="js/jquery-1.4.2.min.js"></script>
+    <script type='text/javascript' src="//cdnjs.cloudflare.com/ajax/libs/jquery/1.4.2/jquery.js"></script>
     <script type="text/javascript" src="js/jquery.gritter.js"></script>
     <script type="text/javascript" src="js/jquery.mustache.js"></script>
     <script type='text/javascript' src="js/jquery-ui-1.7.2.custom.min.js"></script>