Add Gitpod setup (#996)
A support for Gitpod.io, a free automated dev environment that makes contributing and generally working on GitHub projects much easier. It allows anyone to start a ready-to-code dev environment for any branch, issue and pull request with a single click.
.gitpod.yml
0 → 100644
.theia/settings.json
0 → 100644
Please register or sign in to comment