diff options
author | Yukai Huang | 2016-10-13 16:41:20 +0800 |
---|---|---|
committer | Yukai Huang | 2016-10-13 16:41:20 +0800 |
commit | ae3e1b972bb4884ebd910ceb9ced1f206ccd9007 (patch) | |
tree | f08416a72ca59d52a51f4329b50379d67147b868 /public/js/extra.js | |
parent | 747502e694efb5131e1f589adcb608580347e1e0 (diff) |
Fix spellcheck
* also fix spaces width
Diffstat (limited to '')
-rw-r--r-- | public/js/extra.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/public/js/extra.js b/public/js/extra.js index d853bf93..7cae068e 100644 --- a/public/js/extra.js +++ b/public/js/extra.js @@ -544,7 +544,6 @@ function exportToRawHTML(view) { } var common = require('./common.js'); -var serverurl = common.serverurl; //extract markdown body to html and compile to template function exportToHTML(view) { var title = renderTitle(ui.area.markdown); |