# robots.txt for no crawling
User-agent: *
Disallow: /cgi-bin
Disallow: /webstart