diff options
Diffstat (limited to 'public/js/extra.js')
-rw-r--r-- | public/js/extra.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/public/js/extra.js b/public/js/extra.js index 4ec7e80f..329aa153 100644 --- a/public/js/extra.js +++ b/public/js/extra.js @@ -1,6 +1,7 @@ var hljs = require('highlight.js'); var PDFObject = require('pdfobject'); var S = require('string'); +var saveAs = require('file-saver').saveAs; //auto update last change var createtime = null; |