# $Id: robots.txt $


# -----------------------------------------------------------------------------


User-agent: *


Disallow: /cgi-bin/


Disallow: /digits/


Disallow: /digits_ani/


Disallow: /filies/


Disallow: /indexerfiles/


Disallow: /infostats/


Disallow: /java/


Disallow: /op/


Disallow: /scripts/


Disallow: /webstat/