Ernesto Castellotti 624369df7d Update win.sh		2018-11-30 18:19:29 +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-30 18:19:29 +01:00