upgrading version of CodeMirror to 4.1.1, and fixing any merge-rot as…

… a result.
brownplt · May 16, 2014 · 9d5dd0a · 9d5dd0a
1 parent d244e04
commit 9d5dd0a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/lib/CodeMirror b/lib/CodeMirror
diff --git a/src/web/repl.template.html b/src/web/repl.template.html
@@ -56,6 +56,10 @@
 }
 </script>
 <script type="text/javascript" src="https://apis.google.com/js/client.js?onload=handleGoogLoad"></script>
+<script src="/js/codemirror.js"></script>
+<script src="/js/matchbrackets.js"></script>
+<script src="/js/draw.js"></script>
+<script src="/js/pyret-mode.js"></script>
 <script src="/js/require.js"></script>
 <script>
 requirejs.config({
@@ -71,10 +75,6 @@
 });
 </script>
 <script src="/js/pyret.js"></script>
-<script src="/js/codemirror.js"></script>
-<script src="/js/matchbrackets.js"></script>
-<script src="/js/draw.js"></script>
-<script src="/js/pyret-mode.js"></script>
 <!--  <script type="text/javascript"
         src="https://caja.appspot.com/caja.js"></script> -->
 <script>