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