From e1d01b3706c42a04951c4ab2930638d48d972b35 Mon Sep 17 00:00:00 2001
From: Joshua Bell <inexorabletash@gmail.com>
Date: Tue, 28 Oct 2014 19:41:50 -0700
Subject: [PATCH] Bump CodeMirror to 4.7, use minified

---
 index.htm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.htm b/index.htm
index 511acfb..510b925 100644
--- a/index.htm
+++ b/index.htm
@@ -139,8 +139,8 @@ By <a href="mailto:inexorabletash@gmail.com">Joshua Bell</a>
 <div id="paper"></div>
 
 <!-- CodeMirror syntax highlighting - this is optional -->
-<script src="//cdnjs.cloudflare.com/ajax/libs/codemirror/4.6.0/codemirror.js"></script>
-<link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/codemirror/4.6.0/codemirror.css">
+<script src="//cdnjs.cloudflare.com/ajax/libs/codemirror/4.7.0/codemirror.min.js"></script>
+<link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/codemirror/4.7.0/codemirror.css">
 <script src="cm/basic.js"></script>
 <link rel="stylesheet" href="cm/basic.css">
 <style type="text/css">