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