diff options
Diffstat (limited to 'sphinx/writers/html5.py')
| -rw-r--r-- | sphinx/writers/html5.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sphinx/writers/html5.py b/sphinx/writers/html5.py index 5da11840d..bb8fb66a7 100644 --- a/sphinx/writers/html5.py +++ b/sphinx/writers/html5.py @@ -772,4 +772,3 @@ class HTML5Translator(SphinxTranslator, BaseTranslator): for id in node['ids'][1:]: self.body.append('<span id="%s"></span>' % id) node['ids'].remove(id) - |