f12 does not have sfa any more, use plain names
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 24 Feb 2012 13:01:35 +0000 (14:01 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 24 Feb 2012 13:01:35 +0000 (14:01 +0100)
commit13dc29e23bd69300a654edb0142acef01bff7a1d
tree045b17036226ad70fa09bf830d7a2448a8fe9c01
parent957da6c447678f031b33ffcfd9398de977091630
f12 does not have sfa any more, use plain names
scripts/builds.sh