gabriel klawitter a3883ca5d9 change docker image based on debian instead of ubuntu due to the chan… (#10336) ... * change docker image based on debian instead of ubuntu due to the changes of the build container		2019-02-12 19:00:52 +01:00
..
check_sync.sh	Add readiness check for docker container (#9804)	2018-10-26 13:51:08 +02:00
Dockerfile	change docker image based on debian instead of ubuntu due to the chan… (#10336)	2019-02-12 19:00:52 +01:00