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	travis: An error in docker.sh should not result in success	2017-10-21 23:58:18 +01:00
deps.sh
docker.sh
upload.sh