From 4e71ba9d3ea40cd2d817965e5eed4a2fe1b876b3 Mon Sep 17 00:00:00 2001 From: mistic100 Date: Fri, 24 Jul 2015 22:44:39 +0200 Subject: Remove core plugins from core repository --- plugins/LocalFilesEditor/codemirror/mode/diff/diff.css | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 plugins/LocalFilesEditor/codemirror/mode/diff/diff.css (limited to 'plugins/LocalFilesEditor/codemirror/mode/diff/diff.css') diff --git a/plugins/LocalFilesEditor/codemirror/mode/diff/diff.css b/plugins/LocalFilesEditor/codemirror/mode/diff/diff.css deleted file mode 100644 index 60c1379ed..000000000 --- a/plugins/LocalFilesEditor/codemirror/mode/diff/diff.css +++ /dev/null @@ -1,3 +0,0 @@ -span.diff-rangeinfo {color: #a0b;} -span.diff-minus {color: #a22;} -span.diff-plus {color: #2b2;} -- cgit v1.2.3