User-agent: *
Disallow: /
Disallow: /src/
Disallow: /plugins/
Disallow: /mailman/
# Disallow: /pipermail/