checking the 4 current distros
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 14 Feb 2017 08:42:03 +0000 (09:42 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 14 Feb 2017 08:42:03 +0000 (09:42 +0100)
commit0ea29caa8498f06f4584addc72010f3179ebf5ba
tree4575a3f0485b5463d7bfa8a69005c1436055f795
parent9abf065fe3da006d426f77465617e953b4a8a09e
checking the 4 current distros
scripts/builds.sh