]> Sergey Matveev's repositories - public-inbox.git/commitdiff
TODO: add an item for Python pygments
authorEric Wong <e@80x24.org>
Tue, 8 Oct 2019 21:53:21 +0000 (21:53 +0000)
committerEric Wong <e@80x24.org>
Tue, 15 Oct 2019 07:32:41 +0000 (07:32 +0000)
Pygments seems to be a popular highlighter and widely available,
so we'll be providing support for that at some point...

Link: https://public-inbox.org/meta/20190926131836.GB10467@chatter.i7.local/
Link: https://public-inbox.org/meta/874l0zt7sd.fsf@alyssa.is/

No differences found