aboutsummaryrefslogtreecommitdiff
path: root/test/lint/lint-whitespace.py
AgeCommit message (Expand)Author
2022-11-28lint: Skip COMMIT_RANGE if no CIRRUS_PRMarcoFalke
2022-06-15refactor: cleanups post unsubtree'ing univaluefanquake
2022-04-16lint: Convert lint-whitespace.sh to PythonDimitri