diff options
author | mistic100 <mistic@strangeplanet.fr> | 2015-07-24 22:44:39 +0200 |
---|---|---|
committer | mistic100 <mistic@strangeplanet.fr> | 2015-07-26 19:11:36 +0200 |
commit | 4e71ba9d3ea40cd2d817965e5eed4a2fe1b876b3 (patch) | |
tree | af7f5291540806e5fde21db1d98d590579549055 /plugins/LocalFilesEditor/codemirror/mode/diff/diff.js | |
parent | 32138f1fbd7637dffaaad0c8ca677e43a0d13831 (diff) |
Remove core plugins from core repository
Diffstat (limited to 'plugins/LocalFilesEditor/codemirror/mode/diff/diff.js')
-rw-r--r-- | plugins/LocalFilesEditor/codemirror/mode/diff/diff.js | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/plugins/LocalFilesEditor/codemirror/mode/diff/diff.js b/plugins/LocalFilesEditor/codemirror/mode/diff/diff.js deleted file mode 100644 index 619d74e2a..000000000 --- a/plugins/LocalFilesEditor/codemirror/mode/diff/diff.js +++ /dev/null @@ -1,13 +0,0 @@ -CodeMirror.defineMode("diff", function() { - return { - token: function(stream) { - var ch = stream.next(); - stream.skipToEnd(); - if (ch == "+") return "diff-plus"; - if (ch == "-") return "diff-minus"; - if (ch == "@") return "diff-rangeinfo"; - } - }; -}); - -CodeMirror.defineMIME("text/x-diff", "diff"); |