fanquake 864772c4f7 lint: mypy 0.942		2022-04-07 12:50:54 +01:00
..
04_install.sh	lint: mypy 0.942	2022-04-07 12:50:54 +01:00
06_script.sh	scripted-diff: Bump copyright headers	2021-12-30 19:36:57 +02:00