one f14 build will do for now
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 2 Dec 2010 09:30:05 +0000 (10:30 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 2 Dec 2010 09:30:05 +0000 (10:30 +0100)
commit841c5a237b3ad1084d8b29533f304fe6122cfe08
tree4e883ec0000913098e1712c0dccd06ab6c2c0bc0
parent6d590ac0c083742c7a6b48b74971ed574da89fe9
one f14 build will do for now
scripts/builds.sh