# $Id: robots.txt,v 1.4 2001/01/09 17:31:05 andrew Exp $

User-agent: *
Disallow:   /hoenigtopf/
Disallow:   /cgi-bin/
Disallow:   /external/
Disallow:   /download/