mirror of https://github.com/gnss-sdr/gnss-sdr
upgrading configuration style
This commit is contained in:
parent
9542cbb733
commit
a543e6b9e4