# robots.txt for http://www.or98.ethz.ch
User-agent: *
Disallow: /sec/