# /robots.txt file for http://ik6.inf.ethz.ch/
User-agent: *
Disallow: /