[Python-Dev] what's really new in python 2.5 ?
gerrit at nl.linux.org
Fri Oct 6 14:35:21 CEST 2006
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?
More information about the Python-Dev