### /robots.txt file
# if not present, all robots will consider themselves welcome
#
# $Id: robots.txt 3863 2009-09-09 15:20:29Z kevin $
#
# go away
User-agent: *
Disallow: /cgi-bin/
Disallow: /mailman/admin/
Disallow: /mailman/private/

# remove page see email 2009-05-31 b/c of user request
Disallow: pipermail/sensorml/2006-November/000212.html