Paulo Jorge Reis
|
9c5c6922b9
|
Merge pull request #1626 from sharelatex/pr-history-drag-and-drop-selection
History drag and drop selection
GitOrigin-RevId: d2bc0dfc2e2634553224b7bef2ac5d926d42bf01
|
2019-04-09 10:11:13 +00:00 |
|
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
|
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 |
|
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 |
|