diff options
author | Stefan Wildemann <metalstrolch@users.noreply.github.com> | 2019-09-27 09:30:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-27 09:30:27 +0200 |
commit | ac49d27070486ee946bda65daefae1d79e4eb827 (patch) | |
tree | 7b1586081a2786820de4caeff5a34f1588555386 /.circleci | |
parent | 56f6be45d5ce5f961c1826ef2f06d6678f770eb0 (diff) | |
download | navit-ac49d27070486ee946bda65daefae1d79e4eb827.tar.gz |
feature:gui_internal: include post code in town serch (#818)
This pull request includes postal code or zip code into the town search.
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions