Skip to content
Commit b087d646 authored by Michael van der Kamp's avatar Michael van der Kamp Committed by Andreas Klöckner
Browse files

Remove comment that refers to fixed pygments issue 

Issue is now found on github:
https://github.com/pygments/pygments/issues/392
parent 9c75e495