summaryrefslogtreecommitdiff
path: root/sphinx/search
diff options
context:
space:
mode:
authorjfbu <jfbu@free.fr>2019-08-01 17:49:24 +0200
committerjfbu <jfbu@free.fr>2019-08-01 17:49:24 +0200
commit685e3fdb49c42b464e09ec955e1033e2a8729fff (patch)
treea7ad90fbd9c2a076575f612caf0d6baa7c4fb555 /sphinx/search
parenteeca5ee91d2da817d4ad9e920ad7e4cabd966d08 (diff)
parent5a86a71a8fe6d4e8c3861f755cc9b05b5b10f0cf (diff)
downloadsphinx-git-685e3fdb49c42b464e09ec955e1033e2a8729fff.tar.gz
Merge branch '2.0'
Diffstat (limited to 'sphinx/search')
-rw-r--r--sphinx/search/__init__.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/sphinx/search/__init__.py b/sphinx/search/__init__.py
index 868b0e489..1b4f7ea59 100644
--- a/sphinx/search/__init__.py
+++ b/sphinx/search/__init__.py
@@ -23,7 +23,8 @@ from sphinx.util import jsdump, rpartition
if False:
# For type annotation
- from typing import Any, Dict, IO, Iterable, List, Tuple, Type, Set # NOQA
+ from typing import Any, Dict, IO, Iterable, List, Tuple, Set # NOQA
+ from typing import Type # for python3.5.1
from docutils import nodes # NOQA
from sphinx.environment import BuildEnvironment # NOQA