James Allen 8a3fadbfc1 Style the edit/add/rename options 9 lat temu
..
editor 8a3fadbfc1 Style the edit/add/rename options 9 lat temu
invite b0dd7475b0 fix pug syntax 9 lat temu
list 2d66fd7280 Merge pull request #169 from sharelatex/as-import-v1 9 lat temu
editor.pug 50b12e88a2 Add HistoryV2Manager alongside existing HistoryManager 9 lat temu
list.pug c84c00d56d Change query param for nicer api on OL side 9 lat temu