mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2025-06-25 14:42:57 +00:00
small fix for packaging
This commit is contained in:
parent
f556660e1f
commit
4fb3ec2af3