diff options
Diffstat (limited to 'js/codemirror/mode/diff/diff.js')
-rw-r--r-- | js/codemirror/mode/diff/diff.js | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/js/codemirror/mode/diff/diff.js b/js/codemirror/mode/diff/diff.js deleted file mode 100644 index 725bb2c7..00000000 --- a/js/codemirror/mode/diff/diff.js +++ /dev/null | |||
@@ -1,13 +0,0 @@ | |||
1 | CodeMirror.defineMode("diff", function() { | ||
2 | return { | ||
3 | token: function(stream) { | ||
4 | var ch = stream.next(); | ||
5 | stream.skipToEnd(); | ||
6 | if (ch == "+") return "plus"; | ||
7 | if (ch == "-") return "minus"; | ||
8 | if (ch == "@") return "rangeinfo"; | ||
9 | } | ||
10 | }; | ||
11 | }); | ||
12 | |||
13 | CodeMirror.defineMIME("text/x-diff", "diff"); | ||