rename nosfa into nofed as it otherwise fools the tests to believe they must test sfa
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 29 Apr 2022 16:10:51 +0000 (18:10 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 29 Apr 2022 16:10:51 +0000 (18:10 +0200)
commit094c9fb11f01c03a085766eae00433795104bc6f
treee78df9eeb8d8edd40512415c1b501551fdb9dce0
parent2602e4832d0330ac39646407bc961410acf76c6c
rename nosfa into nofed as it otherwise fools the tests to believe they must test sfa
scripts/builds.sh