improvements in Makefile by Thomas, trash spec2make.c
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 5 May 2022 07:58:13 +0000 (09:58 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 5 May 2022 07:58:13 +0000 (09:58 +0200)

No differences found