# robots.txt for http://www-zeuthen.desy.de/

User-agent: *
Disallow: /main/
Disallow: /lc_repository/
Disallow: /~bvoigt/