diff options
| author | 2022-09-26 15:01:30 +0000 | |
|---|---|---|
| committer | 2022-09-26 15:01:30 +0000 | |
| commit | 1d28c271a4bf11046e74d99a5def085e1a3955d7 (patch) | |
| tree | ce997131142b8178864adfc19a2ea16b818f03ed /scripts/lint_project_xml.py | |
| parent | 600815596013cb604981247eaaf2ef475a2d1811 (diff) | |
| parent | 32a98a5d555056511ba38f0b1154ddadfa1360d0 (diff) | |
Merge "Convert genDir to RULEDIR in gensrcs's cmd"
Diffstat (limited to 'scripts/lint_project_xml.py')
0 files changed, 0 insertions, 0 deletions