# robots.txt for http://www.schwimmbecken-vertrieb.de
# file created: 24.05.03 
User-agent: *
User-agent: wget
User-agent: webzip
User-agent: webmirror
User-agent: webcopy


# exclude robots from specified tree