James Allen
|
286dd564e2
|
Merge pull request #1413 from sharelatex/pr-fix-history-default-file-selection
Fix history default file selection and bug when comparing with version zero
GitOrigin-RevId: 7a123eaec908abd0178eba435f6820ad1e858da1
|
2019-01-29 10:12:17 +00:00 |
|
Paulo Jorge Reis
|
217bc180ac
|
Merge pull request #1251 from sharelatex/pr-history-labels-compare
History labels compare
GitOrigin-RevId: bd06223344e391ba8e6017ebb27bdc3920cf754c
|
2018-12-17 10:10:48 +00:00 |
|
Alasdair Smith
|
659242b457
|
Merge pull request #1037 from sharelatex/as-decaffeinate
Decaffeinate frontend
GitOrigin-RevId: 1c8c53dedecfe55f9936a13408df17b852f996de
|
2018-11-05 10:19:25 +00:00 |
|