From 0e1b22045f2e4822101ec80808bcf5a06100d721 Mon Sep 17 00:00:00 2001
From: Dan Vanderkam <danvdk@gmail.com>
Date: Mon, 5 Aug 2013 21:04:48 -0400
Subject: [PATCH] use IE-compatible version of jQuery

---
 docs/header.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/header.html b/docs/header.html
index c5c0716..db6c167 100644
--- a/docs/header.html
+++ b/docs/header.html
@@ -4,7 +4,7 @@
     <meta http-equiv="X-UA-Compatible" content="IE=EmulateIE7; IE=EmulateIE9">
     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0">
-    <script src="http://ajax.googleapis.com/ajax/libs/jquery/2.0.0/jquery.min.js"></script>
+    <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script>
     <link rel="stylesheet" href="bootstrap.min.css">
     <link rel="stylesheet" href="site.css">
 
-- 
2.7.4