[gitpod] add pre-builds to this repo - Githubissues

eclipse-sprotty / sprotty-theia

Integration of Sprotty diagrams into Theia IDE

https://eclipse.org/sprotty

Eclipse Public License 2.0

24 stars 14 forks source link

[gitpod] add pre-builds to this repo #40

Closed JanKoehnlein closed 5 years ago