8000 PR for #8510 "[Feature-Request] Allow mypy.ini to be a dot file" by dosisod · Pull Request #8515 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

PR for #8510 "[Feature-Request] Allow mypy.ini to be a dot file"#8515

Merged
msullivan merged 3 commits intopython:masterfrom
dosisod:add-dotmypydotini-support
Mar 11, 2020

Commits

Commits on Mar 9, 2020

Commits on Mar 10, 2020
0