Theia - Extension Manager
This extension is depreacted. It will be merged into the plugin management eventually in order to reuse UI.
This extension is depreacted. It will be merged into the plugin management eventually in order to reuse UI.
npm i @devpodio/extension-manager
2
0.6.3
EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
327 kB
113