diff options
| author | Daniel Norman <danielnorman@google.com> | 2020-07-28 16:04:38 -0700 |
|---|---|---|
| committer | Bill Peckham <bpeckham@google.com> | 2020-08-04 11:52:47 -0700 |
| commit | 97348e10aff9bb2d3dc408fe4e32a5365b921a6c (patch) | |
| tree | e4661ea3ffd5026e6984cb2eb9dd381c698e4d7a /scripts/lint-project-xml.py | |
| parent | 0ec5412f1d22c19ba480425200a668c153d211ec (diff) | |
Adds 'kernel/' to vendor proprietary dirs.
Bug: 161722183
Test: m nothing
Change-Id: I45c9e8623304617268a725ea5f0c353352f80590
(cherry picked from commit 713387dc75d8824fbaecdb698ad2a018659b295a)
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions