build f12 in 32 bits so we have at least one such build
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 18 May 2013 08:41:19 +0000 (10:41 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 18 May 2013 08:41:19 +0000 (10:41 +0200)
commitdc0104c00d735aa681c9593f218992be005fa0b1
tree5521bf884f95d6a94a279e4d9d82435c6e23dfad
parent2538ea612e638ae6dd6b7743fffab15b6a011313
build f12 in 32 bits so we have at least one such build
scripts/builds.sh