Theia - Extension Manager
This extension is depreacted. It will be merged into the plugin management eventually in order to reuse UI.
@devpodio/extension-manager
0.6.3 • Public • Published/@devpodio/extension-manager/
Package Sidebar
Install
npm i @devpodio/extension-manager
Repository
Homepage
Weekly Downloads
1
Version
0.6.3
License
EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
Unpacked Size
327 kB
Total Files
113