1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2025-05-05 00:44:11 +00:00

CI: Make cmakelint happy

This commit is contained in:
Carles Fernandez 2023-10-05 18:06:39 +02:00
parent 707c7826fb
commit 4149490bb6
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D