# robots.txt for http://www.himt.de/
# file created: 30.07.2007

User-agent: *
# exclude robots from specified tree
Disallow: /cgi-bin/
Disallow: /scripts/
Disallow: /himt_inc/
Disallow: /survey/