Skip to content

GitLab

Merged
Created by Jérome Perrin@jeromeOwner

Theia update to 1.12.1

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