diff options
| author | mvglasow <michael@vonglasow.com> | 2018-12-19 23:01:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-19 23:01:48 +0100 |
| commit | a9fd119415fe451536354b24ca2ac73ead2d4dec (patch) | |
| tree | fa4ae2dcb87420152ee1f42acaacadf06b9d63eb /.circleci | |
| parent | e70a28963ff9754d3257361fad93aebf59edee08 (diff) | |
| parent | cd50bea50c57815251996a6c7046d61b03e4be14 (diff) | |
| download | navit-a9fd119415fe451536354b24ca2ac73ead2d4dec.tar.gz | |
Merge pull request #720 from navit-gps/traffic
Traffic: Improve handling of situations where no segments are found
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions