Christoph Reiter 81c4fa5d50 Add gitlab-ci support using a prebuilt docker image ... This uses autotools and just calls make		2018-03-04 10:52:49 +01:00
..
Dockerfile	Add gitlab-ci support using a prebuilt docker image	2018-03-04 10:52:49 +01:00
run-docker.sh	Add gitlab-ci support using a prebuilt docker image	2018-03-04 10:52:49 +01:00
test-docker.sh	Add gitlab-ci support using a prebuilt docker image	2018-03-04 10:52:49 +01:00