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

902 B

Raw Blame History

View Raw