[Python-Dev] Pygments in PEPs?

Ivan Levkivskyi levkivskyi at gmail.com
Fri Sep 8 18:30:17 EDT 2017

On 9 September 2017 at 00:14, Antoine Pitrou <solipsis at pitrou.net> wrote:

> On Fri, 8 Sep 2017 16:59:57 +0200
> Ivan Levkivskyi <levkivskyi at gmail.com> wrote:
> > I already made a PR that would highlight code in PEPs half-year ago, but
> it
> > was rejected with the reason that they will be moved to RtD soon.
> Perhaps we can revive that PR?

Just for the reference here is the PR
It is indeed quite simple. Unfortunately, right now (and next one-two weeks)
I will be not able to work on this PR if any additional changes will be
But I will be happy if someone will continue with this (temporary) solution.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20170909/1381fa6e/attachment.html>

More information about the Python-Dev mailing list