projects / reactos.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45b5ec8) | patch
[GITPOD]Add gitpod config
authorJérôme Gardou <jerome.gardou@reactos.org>
Tue, 17 Mar 2020 11:53:18 +0000 (11:53 +0000)
committerJérôme Gardou <zefklop@users.noreply.github.com>
Thu, 2 Apr 2020 16:03:18 +0000 (18:03 +0200)
commit04d0d95b8a0d28a44afe448fb278ce5e8bf57327
tree5d2ae3ee02594113c20ff299362fd46251b1d5a8tree
parent45b5ec8e7bf4e95c3a1826f7b13e2b225d8f81bccommit | diff
[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.
.gitpod.Dockerfile [new file with mode: 0644] blob
.gitpod.yml [new file with mode: 0644] blob
.theia/launch.json [new file with mode: 0644] blob
.theia/settings.json [new file with mode: 0644] blob
.theia/tasks.json [new file with mode: 0644] blob
A free Windows-compatible Operating System