From 3a754133dbc138390503341fd2e9beba3e43aa4b Mon Sep 17 00:00:00 2001
From: Jose Antonio Marquez
Date: Fri, 27 Jan 2012 12:05:17 -0800
Subject: Merged old FileIO

---
 js/codemirror/mode/diff/diff.js | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 js/codemirror/mode/diff/diff.js

(limited to 'js/codemirror/mode/diff/diff.js')

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 @@
-CodeMirror.defineMode("diff", function() {
-  return {
-    token: function(stream) {
-      var ch = stream.next();
-      stream.skipToEnd();
-      if (ch == "+") return "plus";
-      if (ch == "-") return "minus";
-      if (ch == "@") return "rangeinfo";
-    }
-  };
-});
-
-CodeMirror.defineMIME("text/x-diff", "diff");
-- 
cgit v1.2.3