Romain Vimont 6af81e10ba Replace release.mk by release scripts ... Since commit 2687d20280, the Makefile named release.mk stopped handling dependencies between recipes, because they have to be executed separately (from different Github Actions jobs). There is no real benefit using a Makefile anymore. Replace them by several individual release scripts for simplicity and readability.		2024-11-22 22:23:37 +01:00
..
ISSUE_TEMPLATE	Explicitly accept issues for general questions	2024-07-19 17:51:50 +02:00
workflows	Replace release.mk by release scripts	2024-11-22 22:23:37 +01:00
FUNDING.yml	Add FUNDING.yml	2024-07-19 17:56:26 +02:00