@theia/extension-manager

v0.7.0-next.63d19e7f
Theia - Extension Manager
theia-extension

Readme Versions Dependencies Scripts

Dependencies (10)

fs-extra showdown @theia/core sanitize-html @types/fs-extra @types/showdown @theia/filesystem @types/sanitize-html @theia/application-manager @theia/application-package

Dev dependencies (1)

@theia/ext-scripts
npm i @theia/[email protected]

Metadata

Downloads

Maintainers