# $Header: /usr/home/johnl/web/dummnet/RCS/robots.txt,v 1.1 1997/06/13 22:30:23 johnl Exp $
# stay out of CGI pages
User-agent: *
Disallow: /cgi-bin