# robots.txt
# $Id: robots.txt,v 1.3 2010/03/18 15:57:14 rolftietjens Exp $
User-Agent: *
Disallow: /buttons/
Disallow: /cgi-bin/
Disallow: /dump/
Disallow: /images/
Disallow: /include/
Disallow: /panorama/
Disallow: /video/