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/htmlmixed/index.html | 52 --------------------------------- 1 file changed, 52 deletions(-) delete mode 100644 js/codemirror/mode/htmlmixed/index.html (limited to 'js/codemirror/mode/htmlmixed/index.html') diff --git a/js/codemirror/mode/htmlmixed/index.html b/js/codemirror/mode/htmlmixed/index.html deleted file mode 100644 index 6d62b355..00000000 --- a/js/codemirror/mode/htmlmixed/index.html +++ /dev/null @@ -1,52 +0,0 @@ - - -
-The HTML mixed mode depends on the XML, JavaScript, and CSS modes.
- -MIME types defined: text/html
- (redefined, only takes effect if you load this parser after the
- XML parser).