branch | stable |
changeset 7879 | 9aae456abab5 |
parent 7815 | 2a164a9cf81c |
child 8695 | 358d8bed9626 |
child 8710 | becbbbc840b8 |
--- a/ext/rest.py Tue Sep 27 16:04:30 2011 +0200 +++ b/ext/rest.py Wed Sep 28 09:27:42 2011 +0200 @@ -187,7 +187,7 @@ try: from pygments import highlight from pygments.lexers import get_lexer_by_name - from pygments.formatters import HtmlFormatter + from pygments.formatters.html import HtmlFormatter except ImportError: pygments_directive = None else: