fix
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 19 Nov 2019 09:27:21 +0000 (10:27 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 19 Nov 2019 09:27:21 +0000 (10:27 +0100)
commit901849aefba30abd46a142e4c68ce9aacfbc3c38
tree530745ebe76254951c89ca1f3b48410a4140db32
parent77f54330355a7071b9f0eea9fc457103066f6fd5
fix
scripts/builds.sh