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.
This commit is contained in:
Titouan Vervack 2020-04-17 14:59:23 +00:00
parent 804970ca13
commit 4aba6e814b
2 changed files with 4 additions and 0 deletions

2
.gitpod.yml Normal file
View file

@ -0,0 +1,2 @@
tasks:
- init: ./gradlew build

View file

@ -1,3 +1,5 @@
[![Gitpod Ready-to-Code](https://img.shields.io/badge/Gitpod-Ready--to--Code-blue?logo=gitpod)](https://gitpod.io/#https://github.com/eclipse/xtext-core)
# Eclipse Xtext Core Framework
This repository contains the platform-independent language framework of Xtext.