Robin Schneider 8280d200ea Generate Dockerfiles from one source for maintainability. Closes #785.		2019-12-28 22:52:20 +01:00
..
Dockerfile	Generate Dockerfiles from one source for maintainability. Closes #785.	2019-12-28 22:52:20 +01:00