turn off f12-f12 build again
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 2 Dec 2010 18:04:46 +0000 (19:04 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 2 Dec 2010 18:04:46 +0000 (19:04 +0100)
commit17a51f2198b56ce38162bc7e7bd960a6714d0667
treedbd674f2b8382a11f7f505a996c493551afe1de9
parentd59f4d54249c1696ad1dbbe87b692d19a3ffb745
turn off f12-f12 build again
scripts/builds.sh