add f12+k32
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 31 May 2011 08:32:05 +0000 (10:32 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 31 May 2011 08:32:05 +0000 (10:32 +0200)
commita397c63552a737c562807590d68046dd9e4a6d02
treea112303bd523880c4f68e4d9c04c3c493f849caa
parentc1cef82f52d02db6f4504e23d97b33a1792d2a47
add f12+k32
scripts/builds.sh