diff options
| author | Joseph Herlant <aerostitch@users.noreply.github.com> | 2018-04-21 17:48:12 -0700 |
|---|---|---|
| committer | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2018-04-21 17:48:12 -0700 |
| commit | fe7af475a7b2ce4365a89c19ccccb99edec8fa1d (patch) | |
| tree | 8b68a532805d003e4b0977a8a49a461960de5a34 /navit/icons/gui_map.svg | |
| parent | 3a4ec2411e6d63e745e1eda5301b50ffb497c46d (diff) | |
| download | navit-fe7af475a7b2ce4365a89c19ccccb99edec8fa1d.tar.gz | |
Update:CI:Make sure that all the scripts in the ci folder have a shebang and use set -e (#460)
* Update:CI:Make sure that all the scripts in the ci folder have a shebang and use set -e
* Fix:CI:Ignore ownership when untaring to avoid "Cannot change ownership" error
Diffstat (limited to 'navit/icons/gui_map.svg')
0 files changed, 0 insertions, 0 deletions