Paulo Reis fc7b5bdd63 * Share button shown to all users, with a tooltip for non-admin; remove its id.		2018-08-31 15:33:56 +01:00
..
history	Merge pull request #864 from sharelatex/pr-history-restore-placeholder	2018-08-30 11:25:25 +01:00
binary-file.pug
chat.pug
editor.pug
file-tree.pug
header.pug	* Share button shown to all users, with a tooltip for non-admin; remove its id.	2018-08-31 15:33:56 +01:00
history.pug
hotkeys.pug
left-menu.pug
new-file-modal.pug
new_from_template.pug
pdf.pug
review-panel.pug
share.pug