summaryrefslogtreecommitdiff
path: root/lint/combined-report.py
AgeCommit message (Expand)Author
2025-06-17lint: add single-file overall reportKlaus Aehlig