Emmanuele Bassi 4b33cc5f89 ci: Update the configuration options ... The options were renamed in commit 7b32900c55.		2018-03-01 17:08:27 +07:00
..
Dockerfile	gitlab-ci: run parts of the test suite	2018-02-19 19:43:42 +01:00
run-docker.sh	gitlab-ci: run parts of the test suite	2018-02-19 19:43:42 +01:00
test-docker.sh	ci: Update the configuration options	2018-03-01 17:08:27 +07:00