reactos/.theia
Jérôme Gardou 04d0d95b8a [GITPOD]Add gitpod config
this commit adds 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.
2020-04-02 18:03:18 +02:00
..
launch.json [GITPOD]Add gitpod config 2020-04-02 18:03:18 +02:00
settings.json [GITPOD]Add gitpod config 2020-04-02 18:03:18 +02:00
tasks.json [GITPOD]Add gitpod config 2020-04-02 18:03:18 +02:00