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)
commit4a4544bae4f7961f76cc84b1748493af41bc2f15
treea41158e7f25230c36b7f9cb38ce2a9968bf87664
parent14bb43a97e0eab101d28feba19d836a4868cf185
improvements in Makefile by Thomas, trash spec2make.c
Makefile
spec2make.c [deleted file]