#
# robots.txt file
#

User-Agent:	*
Disallow:	/cgi-bin/
Disallow:	/pipermail/
Disallow:	/mailman/