# $Id: robots.txt 1873 2008-08-12 19:46:14Z tconnell $
# robots.txt here just to cut down on false 404 reports and
# anything else we might need.