tweaks for f31/33
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 9 Nov 2020 19:57:36 +0000 (20:57 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 9 Nov 2020 19:57:38 +0000 (20:57 +0100)
commit45d2c95168ec2b0bf0e47590834193fd2d6ef24b
tree0176202dec8af714a5b26f1b02f5b2d1dfcd10a5
parent1dfccf228d06db8b83476a6482e8b47409e8bc54
tweaks for f31/33
sfa.spec