summaryrefslogtreecommitdiff
path: root/sphinx/application.py
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2020-03-12 01:37:08 +0900
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2020-03-12 01:37:08 +0900
commitf85b870ad59f39c8637160a4cd4d865ce1e1628e (patch)
tree6a484557a18503238e26a014b37879a046ed5b3a /sphinx/application.py
parent25f75b0c5870261e2db4737581f9bd5cc1890dbc (diff)
parent419cd210f84c02ae62c4cf2b5b19faf85684449f (diff)
downloadsphinx-git-f85b870ad59f39c8637160a4cd4d865ce1e1628e.tar.gz
Merge branch '2.x' into 3.x
Diffstat (limited to 'sphinx/application.py')
-rw-r--r--sphinx/application.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/application.py b/sphinx/application.py
index fbc637e60..74aa2d630 100644
--- a/sphinx/application.py
+++ b/sphinx/application.py
@@ -489,7 +489,7 @@ class Sphinx:
other values.
"""
logger.debug('[app] adding config value: %r',
- (name, default, rebuild) + ((types,) if types else ())) # type: ignore
+ (name, default, rebuild) + ((types,) if types else ()))
if rebuild in (False, True):
rebuild = 'env' if rebuild else ''
self.config.add(name, default, rebuild, types)