From 5b36472a453a1c1c024c3f6da45244d74622b358 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pavel=20Sedl=C3=A1k?= Date: Fri, 22 Feb 2013 13:53:04 +0100 Subject: [PATCH] Remove unused external/CodeMirror2 dir --- externals/CodeMirror2 | 1 - 1 file changed, 1 deletion(-) delete mode 160000 externals/CodeMirror2 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