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 @theia/extension-manager
3
0.14.0
EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
329 kB
113