4 commits

Author	SHA1	Message	Date
MarcoFalke	fa10051267	lint: Add get_subtrees() helper ... This is needed for a future change.	2024-02-20 15:02:12 +01:00
MarcoFalke	fa2b95cf3f	test: Remove all-lint.py script	2024-01-16 10:54:42 +01:00
MarcoFalke	faff3e3b46	lint: Report all lint errors instead of early exit	2023-11-13 18:08:10 +01:00
MarcoFalke	bbbbdb0cd5	ci: Add filesystem lint check	2023-09-14 18:58:44 +02:00