diff options
| author | 2024-09-26 17:56:56 +0000 | |
|---|---|---|
| committer | 2024-09-26 17:56:56 +0000 | |
| commit | ff49c6c75d8c2978b4cd7b8a8921de8f2ac4f6a3 (patch) | |
| tree | a407f7ecd26f407668424cf49312a7d5994cb1c7 /scripts/lint_project_xml.py | |
| parent | ad95b9b84ad2476f1123a0bf5ad710aebb2a2b92 (diff) | |
| parent | b79aa8fe11e0f330f1368e75d8d75e4842245bee (diff) | |
Merge "Use providers for lint" into main
Diffstat (limited to 'scripts/lint_project_xml.py')
0 files changed, 0 insertions, 0 deletions