# robots.txt for http://www.miksch.de/
# file created: 19.06.01
User-agent: *
# Disallow: /cgi-bin/	# exclude robots from specified tree
Disallow: /backup_develop/
Disallow: /java/