diff options
| author | Pushkar Joshi | 2012-03-06 17:04:40 -0800 |
|---|---|---|
| committer | Pushkar Joshi | 2012-03-06 17:04:40 -0800 |
| commit | 7a43958033906b2273de88bc2a26cda7a905d202 (patch) | |
| tree | f71817e712c4b07a48257a4f0b206cf9033421df /imports/codemirror/mode/stex/index.html | |
| parent | 264e3d8e6d3624083d2fab9fe2560234553bb2ad (diff) | |
| parent | 2e3943a8f751ec572066f168b58464c24b9f29e5 (diff) | |
| download | ninja-7a43958033906b2273de88bc2a26cda7a905d202.tar.gz | |
Merge branch 'master' into brushtool
Diffstat (limited to 'imports/codemirror/mode/stex/index.html')
| -rw-r--r--[-rwxr-xr-x] | imports/codemirror/mode/stex/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/imports/codemirror/mode/stex/index.html b/imports/codemirror/mode/stex/index.html index ccd9dd83..e49289e9 100755..100644 --- a/imports/codemirror/mode/stex/index.html +++ b/imports/codemirror/mode/stex/index.html | |||
| @@ -89,7 +89,7 @@ | |||
| 89 | var editor = CodeMirror.fromTextArea(document.getElementById("code"), {}); | 89 | var editor = CodeMirror.fromTextArea(document.getElementById("code"), {}); |
| 90 | </script> | 90 | </script> |
| 91 | 91 | ||
| 92 | <p><strong>MIME types defined:</strong> <code>text/stex</code>.</p> | 92 | <p><strong>MIME types defined:</strong> <code>text/x-stex</code>.</p> |
| 93 | 93 | ||
| 94 | </body> | 94 | </body> |
| 95 | </html> | 95 | </html> |