# /robots.txt for http://prt.fernuni-hagen.de
User-agent: *
Disallow: /htmldocs/
Disallow: /intern/
Disallow: /cgi-bin/