diff options
Diffstat (limited to 'src/navigation/update_third_party.sh')
| -rwxr-xr-x | src/navigation/update_third_party.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/navigation/update_third_party.sh b/src/navigation/update_third_party.sh index a8b0dab..784f8b6 100755 --- a/src/navigation/update_third_party.sh +++ b/src/navigation/update_third_party.sh @@ -1,6 +1,5 @@ #!/bin/bash -build_option="" positioning_version='9725fe1f553197042d6445997690d452a73490c0' navit_version='28478e7f26c1a0eedc06fb4765e2f736079c6f0c' |