Paulo Jorge Reisandsharelatex 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

..

ide

Merge pull request #1626 from sharelatex/pr-history-drag-and-drop-selection

2019-04-09 10:11:13 +00:00

mocks/ide/file-tree/util

Merge pull request #1251 from sharelatex/pr-history-labels-compare

2018-12-17 10:10:48 +00:00

utils

…

bootstrap.js

…

test-main.js

Merge pull request #1251 from sharelatex/pr-history-labels-compare

2018-12-17 10:10:48 +00:00