diff options
author | Wu Cheng-Han | 2016-10-10 21:15:29 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2016-10-10 21:15:29 +0800 |
commit | 795ea21191486a80437d7c535defc503962c5968 (patch) | |
tree | 434a65ec986264b2abdec29b8f6a837ca536d2dd /public/vendor/codemirror/compress.sh | |
parent | fb5d7e43592c1a14831067e28def9c4b9e2a97ca (diff) |
Update CodeMirror to 5.19.0 and rename jade to pug
Diffstat (limited to 'public/vendor/codemirror/compress.sh')
-rw-r--r-- | public/vendor/codemirror/compress.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/public/vendor/codemirror/compress.sh b/public/vendor/codemirror/compress.sh index 678df9b1..8ee71a8f 100644 --- a/public/vendor/codemirror/compress.sh +++ b/public/vendor/codemirror/compress.sh @@ -30,7 +30,7 @@ addon/fold/foldgutter.js \ addon/fold/markdown-fold.js \ addon/fold/xml-fold.js \ mode/xml/xml.js \ -mode/markdown/markdown.js \ +mode/markdown/markdown_math.js \ mode/gfm/gfm.js \ mode/javascript/javascript.js \ mode/css/css.js \ @@ -45,7 +45,7 @@ mode/php/php.js \ mode/sql/sql.js \ mode/coffeescript/coffeescript.js \ mode/yaml/yaml.js \ -mode/jade/jade.js \ +mode/pug/pug.js \ mode/lua/lua.js \ mode/cmake/cmake.js \ mode/nginx/nginx.js \ |