Jorge Aparicio c9c5ade132 enable builds on master		2018-08-27 14:45:43 +02:00
..
after-success.sh	publish docs on gh pages	2018-08-27 14:44:47 +02:00
install.sh	install newer gcc	2018-08-24 16:36:33 +02:00
script.sh	enable builds on master	2018-08-27 14:45:43 +02:00