mirror of
https://gitlab.freedesktop.org/NetworkManager/NetworkManager
synced 2024-10-14 12:05:03 +00:00
4d53df2911
The $URL might already contain a ".git" suffix. Then $FULLNAME would end up having two ".git" extensions. Fix that. |
||
---|---|---|
.. | ||
rpm | ||
utils | ||
REQUIRED_PACKAGES |