Gergely Polonkai 1c1e57d868 ci: Add and configure mypy, and make it happy		2023-11-16 09:44:36 +01:00
..
test_client.py	ci: Add and configure mypy, and make it happy	2023-11-16 09:44:36 +01:00
test_server.py	ci: Add and configure mypy, and make it happy	2023-11-16 09:44:36 +01:00