From 23d0fcbd4d152f2cc19a09e2d776e694ca73d42a Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.org>
Date: Wed, 30 Sep 2015 21:10:09 +0200
Subject: Remove CodeMirror panel addon

---
 index.html | 1 -
 1 file changed, 1 deletion(-)

(limited to 'index.html')

diff --git a/index.html b/index.html
index 15885a6..618711e 100644
--- a/index.html
+++ b/index.html
@@ -457,7 +457,6 @@
         <!-- CodeMirror stuff -->
         <script src="js/codemirror/codemirror.js"></script>
         <script src="js/codemirror/matchbrackets.js"></script>
-        <script src="js/codemirror/panel.js"></script>
         <script src="js/codemirror/prolog.js"></script>
         <script src="js/codemirror/python.js"></script>
         <script src="js/codemirror/show-hint.js"></script>
-- 
cgit v1.2.1