Thomas Haller 4d53df2911 contrib/makerepo.sh: fix name for local cache of git repository ... The $URL might already contain a ".git" suffix. Then $FULLNAME would end up having two ".git" extensions. Fix that.		2022-04-15 11:24:19 +02:00
..
makerepo.sh	contrib/makerepo.sh: fix name for local cache of git repository	2022-04-15 11:24:19 +02:00