oops, had turned on the f10 build instead of f12-f12
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 2 Dec 2010 08:59:49 +0000 (09:59 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 2 Dec 2010 08:59:49 +0000 (09:59 +0100)
commit6d590ac0c083742c7a6b48b74971ed574da89fe9
treed5262e563fb98c2c86372c4cbc9083892be540c1
parentfe659236eb536d2737a07b15dcda99110542f3ec
oops, had turned on the f10 build instead of f12-f12
scripts/builds.sh