# robots.txt for http://www.kaiserdom.de/
# file created: 03.11.03
User-agent: *
# Disallow: /cgi-bin/	# exclude robots from specified tree
# Disallow: /scripts/