[Python-Dev] Pygments in PEPs?
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
> > 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...
More information about the Python-Dev