[Python-ideas] Need help converting HTML doc to ReST
rosuav at gmail.com
Fri Jan 9 18:54:07 CET 2015
On Sat, Jan 10, 2015 at 4:46 AM, Guido van Rossum <guido at python.org> wrote:
> Chris, would you be so kind? I tried to work from Donald's gist, but there
> are some funny characters in it.
> I'd also like to use the Open Publication License (see PEP 1) rather than
> placing it in the public domain.
> You can go straight to the peps repo, I can fix things up later once I have
> time to review it.
> Thank you so much!!
No probs, will do. Not sure what the "funny characters" are; I can see
a U+201C and U+201D double quote pair, possibly there's an encoding
problem. I'll make sure it's saved as UTF-8.
More information about the Python-ideas