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