# $Id: robots.txt,v 1.1 2002/01/17 15:33:49 andrew Exp $

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