Brian Gough 19dfe5fc8b intial version of user setting for texlive imageName		2018-08-13 10:53:43 +01:00
..
history	Dont hide history entries while loading.	2018-08-09 12:00:53 +01:00
binary-file.pug
chat.pug
editor.pug
file-tree.pug
header.pug
history.pug	Use controller binding in the label tooltip.	2018-08-09 12:05:00 +01:00
hotkeys.pug
left-menu.pug	intial version of user setting for texlive imageName	2018-08-13 10:53:43 +01:00
new-file-modal.pug
new_from_template.pug
pdf.pug
publish-template.pug
review-panel.pug
share.pug