2 Commits

Author	SHA1	Message	Date
James Cole	76386dad7d	Fix #1541	2018-07-09 19:23:19 +02:00
Jens Kat	a3e1821ca0	Docker: Use working directory instead of hardcoded dist version ... - By using the current (.) working directory, we can get the latest changes in the Docker image. If the building of Docker images is automated, it will automatically pick up the checked out version. - Rearrange some Docker layers things that don't invalidate that much.	2017-09-09 12:51:37 +02:00