Alex 640e3921d8 Use pre-prepared Docker image in CI to speed things up		2021-04-27 16:37:11 +02:00
..
Dockerfile	Use pre-prepared Docker image in CI to speed things up	2021-04-27 16:37:11 +02:00
Makefile	Use pre-prepared Docker image in CI to speed things up	2021-04-27 16:37:11 +02:00