Lucas Verney a9ac5484e0 Rework Docker image and add some doc. ... Thanks @bnjbvr for the contribution! This closes #15.		2017-06-21 15:10:56 +02:00
..
Dockerfile	Rework Docker image and add some doc.	2017-06-21 15:10:56 +02:00
docker_run.sh	Rework Docker image and add some doc.	2017-06-21 15:10:56 +02:00