Beniamino Galvani f5e0d856f7 release.sh: update version check ... (cherry picked from commit cfc3f3fed7) (cherry picked from commit 39c0e8cf30) (cherry picked from commit 01a03c7a5a)		2024-06-24 13:43:19 +02:00
..
rpm	release.sh: update version check	2024-06-24 13:43:19 +02:00
utils	contrib/makerepo.sh: fix name for local cache of git repository	2022-04-15 11:24:19 +02:00
REQUIRED_PACKAGES	contrib: avoid using "sudo" in REQUIRED_PACKAGES scripts	2023-02-08 10:53:03 +01:00