# robots.txt for http://www.est.hio.no/
User-agent: *
Disallow: /cgi-bin/