Afri Schoedon 4f2415b483 Fix docker script (#9854) ... * Dockerfile: change source path of the newly added check_sync.sh (#9869)		2018-11-07 15:53:22 +01:00
..
check_sync.sh	Add readiness check for docker container (#9804)	2018-10-26 13:51:08 +02:00
Dockerfile	Fix docker script (#9854)	2018-11-07 15:53:22 +01:00