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