Emmanuele Bassi fe1586ca3d ci: Add gstreamer to the Docker image ... We're going to need it for the media interface.		2018-03-13 16:00:55 +00:00
..
Dockerfile	ci: Add gstreamer to the Docker image	2018-03-13 16:00:55 +00: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