# Allow all robots

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