diff options
| author | 2021-01-16 00:37:34 +0000 | |
|---|---|---|
| committer | 2021-01-16 00:37:34 +0000 | |
| commit | 2207565b432c70b8cfb574e31ed8952a367e13a2 (patch) | |
| tree | 9f8fc7bf66dafaa37db9c679be98b518b7f9358b /scripts/lint_project_xml.py | |
| parent | 2b72906ade8ba4fea009852d8747c3be643343af (diff) | |
| parent | 1b4934a215b382a504ede752032899212d32384d (diff) | |
Merge "WITH_TIDY=1 implies -warnings-as-errors=-*"
Diffstat (limited to 'scripts/lint_project_xml.py')
0 files changed, 0 insertions, 0 deletions