1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2025-06-06 08:34:10 +00:00

CI: fix cpplint job

This commit is contained in:
Carles Fernandez 2021-10-04 17:19:03 +02:00
parent 58c2a43239
commit 7d4562465b
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D