User-agent: *
Disallow: /mantis/
Disallow: /phpMyAdmin/
Disallow: /tmaj/
Disallow: /tmalab/
Disallow: /users/
Disallow: /wiki/