Emmanuele Bassi 14df2c77c0 ci: Update the Docker image ... Don't use something from ancient times, even if we haven't touched Clutter in a long while.		2020-03-15 15:05:41 +00:00
..
Dockerfile	ci: Update the Docker image	2020-03-15 15:05:41 +00:00
run-docker.sh	…
test-docker.sh	…