new naming scheme
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 21 Dec 2018 11:29:32 +0000 (12:29 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 21 Dec 2018 11:29:32 +0000 (12:29 +0100)
commit0cd7f700b570dcb1fc38033fdd5008c8c86d1bc3
treefb004e8fe075a08bb6ad8f6c4e88d0c2c5177b59
parent4e97e54fc62e0ef7d357c749a24745a6a192897c
new naming scheme
scripts/builds.sh