# robots.txt for http://www.atlantisdivecenter.de/
# file created: 06.01.2010 JKE

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