1 files changed, 0 insertions, 32 deletions
diff --git a/media/CodeMirror-0.62/js/parsedummy.js b/media/CodeMirror-0.62/js/parsedummy.js
deleted file mode 100644
index 9e63caa..0000000
--- a/media/CodeMirror-0.62/js/parsedummy.js
+++ /dev/null
@@ -1,32 +0,0 @@
-var DummyParser = Editor.Parser = (function() {
-  function tokenizeDummy(source) {
-    while (!source.endOfLine()) source.next();
-    return "text";
-  }
-  function parseDummy(source) {
-    function indentTo(n) {return function() {return n;}}
-    source = tokenizer(source, tokenizeDummy);
-    var space = 0;
-
-    var iter = {
-      next: function() {
-        var tok = source.next();
-        if (tok.type == "whitespace") {
-          if (tok.value == "\n") tok.indentation = indentTo(space);
-          else space = tok.value.length;
-        }
-        return tok;
-      },
-      copy: function() {
-        var _space = space;
-        return function(_source) {
-          space = _space;
-          source = tokenizer(_source, tokenizeDummy);
-          return iter;
-        };
-      }
-    };
-    return iter;
-  }
-  return {make: parseDummy};
-})();