Daniel Kirchner 6122faf9b4 Use up-to-date archlinux instead of a custom docker image for archlinux build.		2019-08-06 13:50:01 +02:00
..
Dockerfile.ubuntu1904	Use multi-stage docker builds	2019-08-05 15:50:00 +02:00