MerryMage 45fdcdd632 travis: An error in docker.sh should not result in success ... Closes #3022.		2017-10-21 23:58:18 +01:00
..
build.sh
deps.sh
docker.sh
upload.sh