diff options
author | mistic100 <mistic@strangeplanet.fr> | 2015-07-26 19:13:28 +0200 |
---|---|---|
committer | mistic100 <mistic@strangeplanet.fr> | 2015-07-26 19:13:28 +0200 |
commit | 5e76fb4ce6d61cabfd120e77096e2e57c357cb8b (patch) | |
tree | f513abb20dd85459d843edc7ca1d90816d886735 /plugins/LocalFilesEditor/codemirror/mode/diff/diff.css | |
parent | 32138f1fbd7637dffaaad0c8ca677e43a0d13831 (diff) | |
parent | 22381e829e0ce2a4a4cbb1420f5ecc2c43be9292 (diff) |
Merge branch 'feature/hello-github' into 2.7
Diffstat (limited to 'plugins/LocalFilesEditor/codemirror/mode/diff/diff.css')
-rw-r--r-- | plugins/LocalFilesEditor/codemirror/mode/diff/diff.css | 3 |
1 files changed, 0 insertions, 3 deletions
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;} |