Closed tomoyamachi closed 4 years ago
pygments
highlighter
Well this is about 3 years too late but IMO this old PR is still a good idea so going to merge it!
pygments
, deprecated key, tohighlighter
.