diff options
author | Valerio Virgillito | 2012-05-04 15:31:40 -0700 |
---|---|---|
committer | Valerio Virgillito | 2012-05-04 15:31:40 -0700 |
commit | 3ebed34665fa73b0ce613b400f3029ebf4476439 (patch) | |
tree | 09a3c592035030bda7bb62d1f908ce263377d74c /imports/codemirror/mode/properties/index.html | |
parent | 8dcbac5d4c30e9dfbc543a5f997939111e9c9f89 (diff) | |
parent | 526e423e4a2734c2b139af23911e912452a4443f (diff) | |
download | ninja-3ebed34665fa73b0ce613b400f3029ebf4476439.tar.gz |
Merge branch 'refs/heads/master' into dom-architecture
Diffstat (limited to 'imports/codemirror/mode/properties/index.html')
-rwxr-xr-x | imports/codemirror/mode/properties/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/imports/codemirror/mode/properties/index.html b/imports/codemirror/mode/properties/index.html index 3df6a3ae..4f0c269c 100755 --- a/imports/codemirror/mode/properties/index.html +++ b/imports/codemirror/mode/properties/index.html | |||
@@ -5,7 +5,6 @@ | |||
5 | <link rel="stylesheet" href="../../lib/codemirror.css"> | 5 | <link rel="stylesheet" href="../../lib/codemirror.css"> |
6 | <script src="../../lib/codemirror.js"></script> | 6 | <script src="../../lib/codemirror.js"></script> |
7 | <script src="properties.js"></script> | 7 | <script src="properties.js"></script> |
8 | <link rel="stylesheet" href="properties.css"> | ||
9 | <style>.CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}</style> | 8 | <style>.CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}</style> |
10 | <link rel="stylesheet" href="../../doc/docs.css"> | 9 | <link rel="stylesheet" href="../../doc/docs.css"> |
11 | </head> | 10 | </head> |
@@ -34,7 +33,8 @@ spaces\ in\ keys=Not very common... | |||
34 | var editor = CodeMirror.fromTextArea(document.getElementById("code"), {}); | 33 | var editor = CodeMirror.fromTextArea(document.getElementById("code"), {}); |
35 | </script> | 34 | </script> |
36 | 35 | ||
37 | <p><strong>MIME types defined:</strong> <code>text/x-properties</code>.</p> | 36 | <p><strong>MIME types defined:</strong> <code>text/x-properties</code>, |
37 | <code>text/x-ini</code>.</p> | ||
38 | 38 | ||
39 | </body> | 39 | </body> |
40 | </html> | 40 | </html> |