Merge "tools/lint-hunks.py: skip third_party files"
authorJames Zern <jzern@google.com>
Fri, 19 Jun 2020 18:15:00 +0000 (18:15 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Fri, 19 Jun 2020 18:15:00 +0000 (18:15 +0000)
commitd9a69a1e2967920afbeee2a76ce978d3e210298c
tree1c45b0919a9bff2da42c12a649a8a26c55391ac6
parent7ec916e8183332df6f1bd94b58f344f9923833b7
parent1c9fd977aa5e8a2f115554a15e4a5e804e638ccb
Merge "tools/lint-hunks.py: skip third_party files"