# this mirror doesn't need to be crawled
User-agent: *
Disallow: /bin
Disallow: /doc
Disallow: /src
Disallow: /con