Manuel Pégourié-Gonnard 1780f89ecf Some more scripts simplified
make now has an alias test = check
2015-07-08 22:08:02 +01:00
..
2015-07-08 21:59:16 +01:00
2015-05-28 17:28:38 +02:00
2015-07-08 22:08:02 +01:00
2015-04-09 10:53:11 +02:00