Skip to content
GitLab

Theia update to 1.12.1

Merged Jérome Perrin requested to merge feat/theia-version-up into master

update theia and some dependencies, including:

  • theia-open which should no longer segfault
  • buildout language server which should not report so many false positives
Edited by Jérome Perrin
GitLab Nexedi Edition | About GitLab | About Nexedi | 沪ICP备2021021310号-2 | 沪ICP备2021021310号-7