diff options
author | Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2017-11-20 12:32:23 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-20 12:32:23 -0800 |
commit | c567ceb01af2ccfc4bd631c0c1247767732c67a1 (patch) | |
tree | d8a262f1f8587f78fdfa882cc101bc287fcf5d51 /tools/distrib/check_copyright.py | |
parent | ad671ff561d34b30e6a857842add23b27e7ae7de (diff) | |
parent | 8abe26237e0060d2601b789ffcbf52437bd67a7d (diff) |
Merge pull request #13173 from kwasimensah/patch-1
Add logic to work around buggy Android NDKs
Diffstat (limited to 'tools/distrib/check_copyright.py')
0 files changed, 0 insertions, 0 deletions