diff --git a/externals/CodeMirror2 b/externals/CodeMirror2 deleted file mode 160000 index 8feb48b3..00000000 --- a/externals/CodeMirror2 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 8feb48b37c3678a102b2de41e24f0f43bee86f50