This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Pedro Gonçalves abe517027c docker/Makefile: fix bash style.		2020-07-31 12:45:09 +01:00
..
Dockerfile	docker/Dockerfile: remove unnecessary packages/commands.	2020-07-31 12:44:27 +01:00
Makefile	docker/Makefile: fix bash style.	2020-07-31 12:45:09 +01:00