diff options
author | Justin DeMartino <jjdemartino@google.com> | 2021-02-24 10:49:43 -0800 |
---|---|---|
committer | Justin DeMartino <jjdemartino@google.com> | 2021-03-18 15:17:05 -0700 |
commit | c7cbbeae12e8cae7e75557e2bc7181a52ea86865 (patch) | |
tree | 9f4154aed2351de300894366c1f8ccf08ffa0037 /scripts/lint-project-xml.py | |
parent | d8387c773e9bec30d679c43b7231f31aaa81f35a (diff) |
Allow extending of the list of directories to be scanned for VSDK
Bug: 180925851
Bug: 181564692
Test: m nothing, manually
Change-Id: Ifff95db4c9ec362322fecca08f7fd1a7b60755c0
(cherry picked from commit 383bfb392ff849b789e5c9331be1e474b335e4d9)
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions