This repository was archived by the owner on Apr 26, 2024. It is now read-only.
Simplify untyped-defs config in mypy.ini#12790
Merged
DMRobertson merged 3 commits intodevelopfrom dmr/typing-configMay 19, 2022
Commits
Commits on May 18, 2022
- committedDavid Robertson
- committedDavid Robertson
- committedDavid Robertson