Wu Cheng-Han 795ea21191 Update CodeMirror to 5.19.0 and rename jade to pug		2016-10-10 21:15:29 +08:00
..
common.js
config.js.example
cover.js	Update to make history delete and pin function call to new APIs	2016-10-10 21:00:07 +08:00
extra.js
google-drive-picker.js
google-drive-upload.js
history.js
index.js	Update CodeMirror to 5.19.0 and rename jade to pug	2016-10-10 21:15:29 +08:00
locale.js
pretty.js
render.js
reveal-markdown.js
slide.js
syncscroll.js