mirror of
https://gitlab.freedesktop.org/NetworkManager/NetworkManager
synced 2024-09-06 00:55:56 +00:00
![]() The $URL might already contain a ".git" suffix. Then $FULLNAME would end up having two ".git" extensions. Fix that. |
||
---|---|---|
.. | ||
rpm | ||
utils | ||
REQUIRED_PACKAGES |