diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-02-06 12:03:32 +0900 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-02-06 15:21:19 +0900 |
| commit | 029e9908c0114fe74df5c1cbf3342dd5205bcac5 (patch) | |
| tree | 3268a4126c2b09989522f1aae0a576b2413eebe6 /sphinx/builders/devhelp.py | |
| parent | 2e83241486c94cc43e870073e5306b202dbda401 (diff) | |
| download | sphinx-git-029e9908c0114fe74df5c1cbf3342dd5205bcac5.tar.gz | |
Remove unused "type: ignore"
Diffstat (limited to 'sphinx/builders/devhelp.py')
| -rw-r--r-- | sphinx/builders/devhelp.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/builders/devhelp.py b/sphinx/builders/devhelp.py index 031c55184..36a604188 100644 --- a/sphinx/builders/devhelp.py +++ b/sphinx/builders/devhelp.py @@ -121,7 +121,7 @@ class DevhelpBuilder(StandaloneHTMLBuilder): link=ref[1]) if subitems: - parent_title = re.sub(r'\s*\(.*\)\s*$', '', title) # type: ignore + parent_title = re.sub(r'\s*\(.*\)\s*$', '', title) for subitem in subitems: write_index("%s %s" % (parent_title, subitem[0]), subitem[1], []) |