diff options
author | mvglasow <michael@vonglasow.com> | 2019-01-07 23:49:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-07 23:49:47 +0100 |
commit | 3fafe67dc0f89375a2fa72ab6456e36fddb8e57c (patch) | |
tree | 52bf7b3672a6f572471ab7e63a9e53583e19fd5a /.circleci | |
parent | a18841b31e92b5a1dbe7d1025ef12b80a2abc973 (diff) | |
parent | db03eb60cc5e89ca13ef6ae50ebbb7e41e28db81 (diff) | |
download | navit-3fafe67dc0f89375a2fa72ab6456e36fddb8e57c.tar.gz |
Merge pull request #726 from navit-gps/traffic
Traffic: Improve segment matching
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions