# Robots.txt file for http://tns13.tnw.utwente.nl, robots welcome!
User-agent: *
Disallow: /.stats
Disallow: /.oldstats
Disallow: /ftpstats
Disallow: /cgi-bin
Disallow: /icons
Disallow: /htdig