Ernesto Castellotti 59b0ac0899 Update linux.sh		2018-11-29 21:15:48 +01:00
..
linux.sh	Update linux.sh	2018-11-29 21:15:48 +01:00
mac.sh	Initial porting to travis-ci	2018-11-29 17:58:52 +01:00
win.sh	Update win.sh	2018-11-29 21:11:45 +01:00