Paulo Jorge Reis 4563ce864c Merge pull request #1285 from sharelatex/pr-history-compare-labels-fixes ... History compare labels fixes GitOrigin-RevId: 176750c4017e5511a22f1792e37ab8918a142ec3		2018-12-18 11:48:49 +00:00
..
diffPanelV1.pug
entriesListV1.pug	Merge pull request #1276 from sharelatex/pr-fix-history-v1	2018-12-17 12:16:20 +00:00
entriesListV2.pug	Merge pull request #1285 from sharelatex/pr-history-compare-labels-fixes	2018-12-18 11:48:49 +00:00
fileTreeV2.pug
previewPanelV2.pug
toolbarV2.pug