mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2025-02-24 06:50:08 +00:00
Update local version of Pugixml to 1.13
This commit is contained in:
parent
0133d7be94
commit
16f0b4c862
@ -345,7 +345,7 @@ endif()
|
||||
set(GNSSSDR_GNSS_SIM_LOCAL_VERSION "master")
|
||||
set(GNSSSDR_GNSSTK_LOCAL_VERSION "13.7.0")
|
||||
set(GNSSSDR_MATIO_LOCAL_VERSION "1.5.23")
|
||||
set(GNSSSDR_PUGIXML_LOCAL_VERSION "1.12")
|
||||
set(GNSSSDR_PUGIXML_LOCAL_VERSION "1.13")
|
||||
set(GNSSSDR_PROTOCOLBUFFERS_LOCAL_VERSION "21.9")
|
||||
set(GNSSSDR_BENCHMARK_LOCAL_VERSION "1.7.1")
|
||||
set(GNSSSDR_MATHJAX_EXTERNAL_VERSION "2.7.7")
|
||||
|
Loading…
x
Reference in New Issue
Block a user