use tony's branch for testing sfav3
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 17 Jan 2013 17:39:13 +0000 (18:39 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 17 Jan 2013 17:39:13 +0000 (18:39 +0100)
commitee6f972d526bb503e3870d8d276592db7aa19c9f
treecd390639ff072efb27335bed2155cf9a17e0b53a
parentde2a65c1a9cc916dc6c7138c0ef073e48b80d19c
use tony's branch for testing sfav3
scripts/builds.sh