Georg Brandl <[EMAIL PROTECTED]> added the comment: You'll have to update the Pygments library; try a "rm -r tools/pygments; make update".
---------- resolution: -> works for me status: open -> closed _______________________________________ Python tracker <[EMAIL PROTECTED]> <http://bugs.python.org/issue3898> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
