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