github/overleaf
1
0
Fork 0
mirror of https://github.com/overleaf/overleaf.git synced 2024-09-16 02:52:31 -04:00
Code Issues Projects Releases Packages Wiki Activity
overleaf/services/web/frontend/js/ide/editor
History
Brian Gough c446f7712c Merge pull request #3487 from overleaf/bg-shut-down-connection-manager 
shut down connection manager on out of sync

GitOrigin-RevId: e191ed62a49c72e8b8ed8c9ba57ed6e0b3606abe
2020-12-15 03:05:03 +00:00
..
components Merge pull request #2707 from overleaf/as-transform-esm 2020-05-20 03:21:38 +00:00
controllers Merge pull request #2707 from overleaf/as-transform-esm 2020-05-20 03:21:38 +00:00
directives Merge pull request #3387 from overleaf/cmg-jpa-source-code-pro 2020-12-01 03:04:18 +00:00
Document.js Merge pull request #3479 from overleaf/jpa-ignore-error-of-other-doc 2020-12-15 03:04:45 +00:00
EditorManager.js Merge pull request #3487 from overleaf/bg-shut-down-connection-manager 2020-12-15 03:05:03 +00:00
EditorShareJsCodec.js Merge pull request #2707 from overleaf/as-transform-esm 2020-05-20 03:21:38 +00:00
ShareJsDoc.js Merge pull request #3483 from overleaf/jpa-leave-on-out-of-sync 2020-12-15 03:04:53 +00:00