diff options
| author | Stefan Wildemann <metalstrolch@users.noreply.github.com> | 2019-10-01 09:15:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-01 09:15:42 +0200 |
| commit | 7b4c8877aceec093c5fca9c7ad040b6eecc8059f (patch) | |
| tree | ecb74375b2642cdc5fdd0460168c2a48e6198540 /po | |
| parent | ac49d27070486ee946bda65daefae1d79e4eb827 (diff) | |
| download | navit-7b4c8877aceec093c5fca9c7ad040b6eecc8059f.tar.gz | |
fix:circleci: do not download build environment for sanity check (#891)
and reenable xml lint for all configurations shipped.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions