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
..
editor	Merge pull request #864 from sharelatex/pr-history-restore-placeholder	2018-08-30 11:25:25 +01:00
invite
list
editor.pug
list.pug