User-agent: *
Disallow: /dists/
Disallow: /pool/
Disallow: /tmp/
Disallow: /webstats/