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	travis: Split build scripts for different platforms	2017-10-07 12:10:03 +01:00
upload.sh