Fix merge and daily build jenkins job 19/7319/1
[msb/discovery.git] / ci /
drwxr-xr-x   ..
-rw-r--r-- 900 build_docker_image.sh