#
#

User-agent: wget
Disallow: /pipermail/

User-agent: *
Disallow: /mailman/
Disallow: /pipermail/

#
#