Thomas Waldmann 6049a07b74 don't brew update, hopefully fixes #2532		2017-10-12 03:37:48 +02:00
..
install.sh	don't brew update, hopefully fixes #2532	2017-10-12 03:37:48 +02:00
run.sh
upload_coverage.sh	Fix bashism in shell scripts (#2820)	2017-07-20 00:23:59 +02:00