Sebastian Siemssen 4ee49f03df Do not use the home directory as the working dir in docker (#9834) ... * Do not create a home directory. * Re-add -m flag		2018-11-22 14:15:04 +00:00
..
check_sync.sh	Add readiness check for docker container (#9804)	2018-10-26 13:51:08 +02:00
Dockerfile	Do not use the home directory as the working dir in docker (#9834)	2018-11-22 14:15:04 +00:00