WE-repartir-taches/mypy.ini

[mypy]
check_untyped_defs = True

[mypy-sortedcontainers.*]
follow_imports = skip
ignore_missing_imports = True
Make mypy happy 2023-03-04 11:45:06 +01:00			`[mypy]`
			`check_untyped_defs = True`
Depend on prtpy 2023-03-04 11:45:35 +01:00
Implement homemade partitioning to handle conflicts 2023-03-04 13:03:29 +01:00			`[mypy-sortedcontainers.*]`
Depend on prtpy 2023-03-04 11:45:35 +01:00			`follow_imports = skip`
			`ignore_missing_imports = True`