This repository has been archived by the owner on Sep 24, 2021. It is now read-only.
Publish latest release. #7
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
The latest of theia has changed we need to publish this extension again.
Workaround: Use
next.The text was updated successfully, but these errors were encountered: