From fa4026bdbdd73e608b5f23958d425ea5f552404f Mon Sep 17 00:00:00 2001
From: Jan Dolecek <juzna.cz@gmail.com>
Date: Tue, 9 Oct 2012 00:03:57 +0300
Subject: [PATCH] removed CodeMirror dependancy

It's not used anyway.
And also, URL of the repo has changed so it only breaks stuff.
---
 .gitmodules | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.gitmodules b/.gitmodules
index ae3f414d..9b4770cb 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -16,6 +16,3 @@
 [submodule "JsShrink"]
 	path = externals/JsShrink
 	url = git://github.com/vrana/JsShrink.git
-[submodule "CodeMirror2"]
-	path = externals/CodeMirror2
-	url = git://github.com/marijnh/CodeMirror2.git