timrid e91bd27589 use settings from mypy.ini and also test the construct_typed folder		2022-01-09 12:51:34 +01:00
..
workflows	use settings from mypy.ini and also test the construct_typed folder	2022-01-09 12:51:34 +01:00