Jos van den Oever 16f642ddc6 Add make to the Docker image		2018-02-07 12:31:21 +01:00
..
Dockerfile	Add make to the Docker image	2018-02-07 12:31:21 +01:00
docker-bash-session.sh	Add docker files for development environment	2017-09-03 11:15:57 +02:00