f24 for r2lab; turn off broken f25
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 16 Dec 2016 08:37:01 +0000 (09:37 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 16 Dec 2016 08:37:01 +0000 (09:37 +0100)
commit26975f05f688482363468363afa6fdbc557f96e0
treeb29c2d9fdd3feedc70e78903e837a88a781b3841
parent7b2a167340a5391ed67869bcb5da85efef2f259f
f24 for r2lab; turn off broken f25
scripts/builds.sh