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