Skip to content
This repository has been archived by the owner on Nov 28, 2022. It is now read-only.

No labels!

There aren’t any labels for this repository quite yet.

bug
bug
Something isn't working
dependencies
dependencies
Pull requests that update a dependency file
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
Small improvement / story
feature
feature
User story
hot
hot
next release
next release
releng
releng
Release Engineering
stopship
stopship
tech-debt
tech-debt
Non-user-facing changes - testing, logging
theia
theia
This Issue is related to the extension running in Theia