diff options
author | mvglasow <michael@vonglasow.com> | 2019-08-22 19:26:09 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-22 19:26:09 +0300 |
commit | 5e644dad94fbbe287aece4bf04428265349eafe4 (patch) | |
tree | 42ce9e1a56055547bccf5145da60b060ee520190 /.github | |
parent | fade062230b2addd5982ddf0bae463e890a82c35 (diff) | |
parent | 09cba6747620974a29739383f56d30eb74d9be92 (diff) | |
download | navit-5e644dad94fbbe287aece4bf04428265349eafe4.tar.gz |
Merge pull request #839 from mvglasow/github827
Fix:toolchain:Remove privileged operation from build script
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions