diff options
author | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2018-03-11 14:49:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-11 14:49:21 -0700 |
commit | 803e32a64c7baf89de2b2d0ee2e6faa6f6b691e4 (patch) | |
tree | 4fef400704f180f88f4cce17fc0817ff5c7fa829 /navit/plugin.c | |
parent | e66370b01e54c2f38aac63e686a859fcc0cb9771 (diff) | |
download | navit-803e32a64c7baf89de2b2d0ee2e6faa6f6b691e4.tar.gz |
Update:CI:also produce a zipfile for wince builds (#411)
* Update:CI:also produce a zipfile for wince builds
* zip can't strip leading path
Diffstat (limited to 'navit/plugin.c')
0 files changed, 0 insertions, 0 deletions