A web-based collaborative LaTeX editor
Find a file
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
services/web Merge pull request #1626 from sharelatex/pr-history-drag-and-drop-selection 2019-04-09 10:11:13 +00:00