@theia/extension-manager
v0.11.0-next.dbb25e0a theia-extension
Dependencies (10)
request showdown @theia/core sanitize-html @types/request @types/showdown @theia/filesystem @types/sanitize-html @theia/application-manager @theia/application-package
Dev dependencies (1)
npm i @theia/[email protected]
Metadata
- EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
- Whatever
- Unknown
- released 9/13/2019