diff options
author | Valerio Virgillito | 2012-02-14 11:07:21 -0800 |
---|---|---|
committer | Valerio Virgillito | 2012-02-14 11:07:21 -0800 |
commit | f060190a3bffd9a16718f2ce0499699103d46372 (patch) | |
tree | a308fe7eacec2156c8212dff0892a3de925d5f9a /js/codemirror/mode/diff/diff.js | |
parent | f766cc203f30ea43ae8b83cf4b65d45cc4435ee9 (diff) | |
parent | 33bc9d62b8e6694500bf14d5b18187bd99a520a3 (diff) | |
download | ninja-f060190a3bffd9a16718f2ce0499699103d46372.tar.gz |
Merge branch 'FileIO' of https://github.com/joseeight/ninja-internal into integration
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"); | ||