0.6.3 • Published 4 years ago

@devpodio/extension-manager v0.6.3

Weekly downloads
-
License
EPL-2.0 OR GPL-2....
Repository
github
Last release
4 years ago

Theia - Extension Manager

This extension is depreacted. It will be merged into the plugin management eventually in order to reuse UI.

License

0.6.3

4 years ago

0.6.2

4 years ago

0.6.1

4 years ago

0.6.0

4 years ago

0.5.3

4 years ago

0.5.2

5 years ago

0.5.1

5 years ago

0.5.0

5 years ago

0.4.4

5 years ago

0.4.3

5 years ago

0.4.2

5 years ago

0.4.1

5 years ago

0.4.0-latest.4

5 years ago

0.4.0-latest.3

5 years ago

0.4.0-latest.2

5 years ago

0.4.0-latest.1

5 years ago

0.3.20

5 years ago

0.3.19

5 years ago

0.3.18

5 years ago

0.3.17

5 years ago

0.3.16

5 years ago