# robots.txt for sumo.dlr.de

User-agent: *
Disallow: /oldwiki/
Disallow: /docs/search.html