# # $DPid: robots.txt,v 1.1 2004/01/20 06:41:34 davidp Exp $ # # This file aids in providing web crawling software with restrictions on # the content they should index # User-agent: * Disallow: /CVS Disallow: /members Disallow: /mailman/ Disallow: /~