sphinx/mypy.ini

mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
[mypy]
python_version = 2.7
ignore_missing_imports = True
follow_imports = skip
incremental = True
check_untyped_defs = True
warn_unused_ignores = True
Prepare to type-check using mypy 2016-11-07 13:15:18 +09:00			`[mypy]`
			`python_version = 2.7`
Upgrade to newest mypy package 2017-02-21 14:05:18 +09:00			`ignore_missing_imports = True`
			`follow_imports = skip`
Prepare to type-check using mypy 2016-11-07 13:15:18 +09:00			`incremental = True`
			`check_untyped_defs = True`
Remove unused "type: ignore" 2017-02-06 12:03:32 +09:00			`warn_unused_ignores = True`