MerryMage 45fdcdd632 travis: An error in docker.sh should not result in success ... Closes #3022.		2017-10-21 23:58:18 +01:00
..
clang-format	travis: Split build scripts for different platforms	2017-10-07 12:10:03 +01:00
common	travis: Split build scripts for different platforms	2017-10-07 12:10:03 +01:00
linux	travis: An error in docker.sh should not result in success	2017-10-21 23:58:18 +01:00
macos	travis: Split build scripts for different platforms	2017-10-07 12:10:03 +01:00