f14 builds back on velvet - f12 build turned off
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 1 Dec 2010 08:43:12 +0000 (09:43 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 1 Dec 2010 08:43:12 +0000 (09:43 +0100)
commit69c12f51d9cb0826b6e37b6e8b6b87856794c10e
tree451d5cb91556fec011d244d0ad080165c15947c2
parent20adfe6d6c9230940789d69dd40ddb1dc86d4aa1
f14 builds back on velvet - f12 build turned off
scripts/builds.sh