move f12 builds to velvet
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 30 Nov 2010 09:02:33 +0000 (10:02 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 30 Nov 2010 09:02:33 +0000 (10:02 +0100)
commit20adfe6d6c9230940789d69dd40ddb1dc86d4aa1
treef33ec4c65f1fff286179d5532d41f864affb8111
parentc98e44f1c78993c67355f67ed2d9ec11844abeab
move f12 builds to velvet
scripts/builds.sh