]> git.joonet.de Git - adminer.git/commitdiff
removed CodeMirror dependancy
authorJan Dolecek <juzna.cz@gmail.com>
Mon, 8 Oct 2012 21:03:57 +0000 (00:03 +0300)
committerJakub Vrana <jakub@vrana.cz>
Sat, 20 Oct 2012 17:37:39 +0000 (10:37 -0700)
It's not used anyway.
And also, URL of the repo has changed so it only breaks stuff.

.gitmodules

index ae3f414d4e3e135a087aa64c49707e3989cde0a5..9b4770cbcc16ab507ea2e01649e36d540d4665af 100644 (file)
@@ -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