Martin Leitner-Ankerl 64d72c4c87 test: rename lint-all.py to all-lint.py ... That way it is impossible for the script to call itself.		2022-06-07 10:22:45 +02:00
..
04_install.sh	lint: mypy 0.942	2022-04-07 12:50:54 +01:00
06_script.sh	test: rename lint-all.py to all-lint.py	2022-06-07 10:22:45 +02:00