diff options
| author | Pierre Grandin <grandinp@gmail.com> | 2017-09-12 14:51:15 -0700 |
|---|---|---|
| committer | Pierre Grandin <grandinp@gmail.com> | 2017-09-12 14:51:15 -0700 |
| commit | 4b9175511acfb46010b8016c38c9d5b3a32f779b (patch) | |
| tree | dfb5bb9fb2c79684dbae797d41e2d29061ed8636 /AUTHORS | |
| parent | 6d4559244944d332bec8b10e663f3e7d7fe7e8fe (diff) | |
| download | navit-coverity_upgrade.tar.gz | |
Run coverity builds only for trunkcoverity_upgrade
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions