diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-07-19 19:28:38 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-07-19 19:28:41 +0300 |
commit | f272d6876cb499ac25f779e606593e3459e565b7 (patch) | |
tree | 43b80f24f5f43ad31676126d5f64da9bdf072105 /sphinx/highlighting.py | |
parent | 85881897e0ec646c7dc69ddb2dc5cf04178cc91b (diff) |
Remove unused code
Now sphinx depends on pygments-2.0 or higher. So this code is not
passed.
Diffstat (limited to 'sphinx/highlighting.py')
-rw-r--r-- | sphinx/highlighting.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/sphinx/highlighting.py b/sphinx/highlighting.py index 7d5956570..dd248107c 100644 --- a/sphinx/highlighting.py +++ b/sphinx/highlighting.py @@ -161,8 +161,6 @@ class PygmentsBridge(object): if self.dest == 'html': return hlsource else: - if not isinstance(hlsource, text_type): # Py2 / Pygments < 1.6 - hlsource = hlsource.decode() return hlsource.translate(tex_hl_escape_map_new) def get_stylesheet(self): |