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
..
app	Merge pull request #1285 from sharelatex/pr-history-compare-labels-fixes	2018-12-18 11:48:49 +00:00
components	Merge branch 'master' into dcl-i1207	2018-11-30 13:24:27 +00:00
core	Merge pull request #1251 from sharelatex/pr-history-labels-compare	2018-12-17 10:10:48 +00:00
vendor
_ol_style_includes.less	Merge pull request #1278 from sharelatex/revert-1240-as-import-status-page	2018-12-17 15:45:36 +00:00
_style_includes.less	Merge pull request #1018 from sharelatex/jel-track-changes-info-page	2018-10-19 14:12:30 +00:00
ol-ieee-style.less	Merge branch 'master' into dcl-i1207	2018-11-30 13:24:27 +00:00
ol-light-style.less	Merge pull request #1113 from sharelatex/pr-compile-only-ol-dark-dev	2018-11-16 12:02:47 +00:00
ol-style.less	Merge pull request #1113 from sharelatex/pr-compile-only-ol-dark-dev	2018-11-16 12:02:47 +00:00
style.less	Merge pull request #1113 from sharelatex/pr-compile-only-ol-dark-dev	2018-11-16 12:02:47 +00:00