mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2026-04-20 13:51:26 +00:00
I'm not sure that there is any value in continuing with a bad configuration but be careful about changing the semantics of existing code. You never know what else may depend upon it.