diff options
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); |