Gergely Polonkai 4996931b54 ci: Add mypy as a dev dependency and configure it		2023-10-31 07:35:22 +01:00
..
test_client.py	ci: Add mypy as a dev dependency and configure it	2023-10-31 07:35:22 +01:00
test_server.py	ci: Add mypy as a dev dependency and configure it	2023-10-31 07:35:22 +01:00