From 17a1fdf175e253bfa18ed44d31389347383ee06d Mon Sep 17 00:00:00 2001
From: Joshua Bell <inexorabletash@gmail.com>
Date: Fri, 26 Feb 2016 19:20:32 -0800
Subject: [PATCH] Bump CodeMirror version

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

diff --git a/index.html b/index.html
index 37803fd..3f94e1f 100644
--- a/index.html
+++ b/index.html
@@ -13,8 +13,8 @@
 <script src="polyfill/keyboard.js"></script>
 
 <!-- CodeMirror syntax highlighting - this is optional -->
-<script src="//cdnjs.cloudflare.com/ajax/libs/codemirror/5.6.0/codemirror.min.js"></script>
-<link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/codemirror/5.6.0/codemirror.css">
+<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/codemirror.min.js"></script>
+<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/codemirror.css">
 <script src="cm/basic.js"></script>
 <link rel="stylesheet" href="cm/basic.css">
 <style>