diff options
| author | 2022-09-23 13:08:34 -0400 | |
|---|---|---|
| committer | 2022-09-23 14:18:20 -0400 | |
| commit | 32a98a5d555056511ba38f0b1154ddadfa1360d0 (patch) | |
| tree | 7d5ebc5dfca0add9c7e459fbb73525ba53c474d4 /scripts/lint_project_xml.py | |
| parent | 7574afb67fcd852ad2dd484c0029ff36b039a6cc (diff) | |
Convert genDir to RULEDIR in gensrcs's cmd
Test: CI
Change-Id: I5ecc19dc73559bb518871080737b28a649edc162
Diffstat (limited to 'scripts/lint_project_xml.py')
0 files changed, 0 insertions, 0 deletions