# $Id: robots.txt,v 1.3 2002/01/27 23:44:46 andrew Exp $

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