0.6.3 • Published 4 years ago
@devpodio/mini-browser v0.6.3
Theia Mini-Browser Extensions
This extension provides a browser widget with the corresponding backend endpoints.
See here for a detailed documentation.
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