#951715 pygments: What about providing the css files generated by pygmentize?

Package:
src:pygments
Source:
pygments
Submitter:
Elena Grandi
Date:
2020-02-20 14:54:04 UTC
Severity:
wishlist