# robots.txt for http://www.didactum.de/
# file created: 14.10.2001
User-agent: googlebot
Disallow: /admin/
Disallow: /download/
Disallow: /ext/
Disallow: /includes/
Disallow: /pub/
Disallow: /tmp/

Sitemap: http://www.didactum.de/sitemap.xml

User-agent: wget
Disallow: /
User-agent: webzip
Disallow: /
User-agent: webmirror
Disallow: /
User-agent: webcopy
Disallow: /
User-agent: Openbot
Disallow: /
User-agent: GagaRobot
Disallow: /
User-agent:EmailCollector
Disallow: /

User-agent: Slurp
Disallow: /admin/
Disallow: /download/
Disallow: /ext/
Disallow: /includes/
Disallow: /pub/
Disallow: /tmp/