[Python-Dev] what's really new in python 2.5 ?

[Georg Brandl]

Gerrit Holl wrote:
> On 2006-10-03 20:10:14 +0200, A.M. Kuchling wrote:
>> I've added a robots.txt to keep crawlers out of /dev/.
> 
> Isn't there a lot of useful, search-engine worthy stuff in /dev?
> I search for peps with google, and I suppose the 'explanation' section,
> as well as the developer faq and subversion instructions, are good pages
> that deserve to be in the google index. Should /dev really be
> Disallow:'ed entirely in robots.txt?

I think that refers to docs.python.org/dev.

Georg