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