From: Jan Dolecek <juzna.cz@gmail.com>
Date: Mon, 8 Oct 2012 21:03:57 +0000 (+0300)
Subject: removed CodeMirror dependancy
X-Git-Tag: v3.6.2~21
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=fa4026bdbdd73e608b5f23958d425ea5f552404f;p=adminer.git

removed CodeMirror dependancy

It's not used anyway.
And also, URL of the repo has changed so it only breaks stuff.
---

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