no change but makes debian versions more explicit in the build names for myslice...
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 21 Sep 2013 06:54:53 +0000 (08:54 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 21 Sep 2013 06:54:53 +0000 (08:54 +0200)
commit7e33e334e38391c184884bbd59f88948ed1ef124
tree1b016536d83a5cb37916c72819e5001e5a44f8cd
parentcede0b38c9fdb503ac0d9c3c3dfe8e752e1cb98e
no change but makes debian versions more explicit in the build names for myslice and manifold
scripts/builds.sh