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