Martin Weinelt f9fcbe9430 scripts/generate-options: fix typing issue		2025-05-15 16:29:04 +02:00
..
generate-options.py	scripts/generate-options: fix typing issue	2025-05-15 16:29:04 +02:00
mail-check.py	scripts/mail-check: fix typing issues	2025-05-15 16:29:04 +02:00