# robots.txt zu http://www.tipp10.de/

User-agent: *
Disallow: /update/
Disallow: /textanalyse/
Disallow: /doc/doxy/
Disallow: /fh-berlin/
Disallow: /pro/
Disallow: /comak/