# robots.txt for http://www.mantis.de/
User-agent: *
Disallow: /classes
Disallow: /cgi-bin
Disallow: /Admin
Disallow: /admindb
Disallow: /dnjvdb
Disallow: /mitglied
Disallow: user.html