# $Id: robots.txt,v 1.1 2006-04-14 18:49:41 karl Exp $
User-agent: *
Disallow: /holger/teaching/