diff options
Diffstat (limited to 'src/navigation/update_third_party.sh')
| -rwxr-xr-x | src/navigation/update_third_party.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/navigation/update_third_party.sh b/src/navigation/update_third_party.sh index d8fc8b2..2304a76 100755 --- a/src/navigation/update_third_party.sh +++ b/src/navigation/update_third_party.sh @@ -1,7 +1,7 @@ #!/bin/bash positioning_version='d4c46f13019aefb11aebd0fc1210a29a46f0b521' -navit_version='91c5637b320469dda4c1d0ff2ef045359df22b6e' +navit_version='03f3aa8637fff3e8e09d3bde21b28654454011fd' echo "version of positioning is: $positioning_version" echo "version of navit is: $navit_version" |