Paulo Jorge Reis 4be364cd93 Merge pull request #864 from sharelatex/pr-history-restore-placeholder ... Add a placeholder "restore" button, showing a tooltip.		2018-08-30 11:25:25 +01:00
..
binary-file.less
chat.less
enago.less
file-tree.less
history-v2.less	Merge pull request #864 from sharelatex/pr-history-restore-placeholder	2018-08-30 11:25:25 +01:00
history.less
hotkeys.less
left-menu.less
online-users.less
pdf.less
publish-modal.less
publish-template.less
review-panel.less
rich-text.less
search.less
share.less
toolbar.less