aboutsummaryrefslogtreecommitdiff
path: root/test/lint/lint-shell.py
AgeCommit message (Expand)Author
2023-01-18scripted-diff: Use new python 3.7 keywordsMarcoFalke
2022-06-15refactor: cleanups post unsubtree'ing univaluefanquake
2022-05-05test: port 'lint-shell.sh' to pythonwhiteh0rse