User-Agent: *
Disallow: /~ripp/cgi-bin/gscope_html_server.tcsh
User-Agent: *
Disallow: /~ripp/cgi-bin/