# /robots.txt file for webcrawlers

User-agent: *
Disallow: /bugs/
Disallow: /mantis/