mirror of
https://gitlab.freedesktop.org/NetworkManager/NetworkManager.git
synced 2025-12-25 01:20:07 +01:00
The $URL might already contain a ".git" suffix. Then $FULLNAME would end up having two ".git" extensions. Fix that. |
||
|---|---|---|
| .. | ||
| makerepo.sh | ||