Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2020-06-03 17:25:17 +0300
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2020-06-03 17:31:43 +0300
commitb8fbd3d9c64b8bf12d2cdc091798faad7513e820 (patch)
tree0c0ddfd27e4dbe86ad73994523e941ffee5c03e8 /sphinx/config.py
parente3f9bf43f617b17937df255519337ebda897f46b (diff)
Fix mypy violations (with mypy-0.780)
Diffstat (limited to 'sphinx/config.py')
-rw-r--r--sphinx/config.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/config.py b/sphinx/config.py
index 19a8f6c4f..73f7c51da 100644
--- a/sphinx/config.py
+++ b/sphinx/config.py
@@ -131,7 +131,7 @@ class Config:
'rst_epilog': (None, 'env', [str]),
'rst_prolog': (None, 'env', [str]),
'trim_doctest_flags': (True, 'env', []),
- 'primary_domain': ('py', 'env', [NoneType]), # type: ignore
+ 'primary_domain': ('py', 'env', [NoneType]),
'needs_sphinx': (None, None, [str]),
'needs_extensions': ({}, None, []),
'manpages_url': (None, 'env', []),