diff options
author | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2018-03-28 10:29:36 -0700 |
---|---|---|
committer | jkoan <jkoan@users.noreply.github.com> | 2018-03-28 19:29:36 +0200 |
commit | f71dc2b8c89c7562fcbfedd69d7f32d6c9fd6693 (patch) | |
tree | 66799ef0c0d38ef4191fd2d70a24b3b109b27de6 /.circleci | |
parent | 87c4b35369aa4c4473a986db6893e664da64920e (diff) | |
download | navit-f71dc2b8c89c7562fcbfedd69d7f32d6c9fd6693.tar.gz |
Fix:wince:Remove useless files from the output (#412)
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions