# robots.txt for http://toolhaus.org/
# $Header: /var/www/html/RCS/robots.txt,v 1.5 2018/09/05 19:05:56 whb Exp $
User-agent: *
# They're probably not interested, anyway
Disallow: /graphics/
# Nothing to see here, move along...
Disallow: /RCS/
# 20100626 Google (and others?) looks for this
Sitemap: http://toolhaus.org/sitemap.xml
# 20180905 mj12bot.com "higher values [than 20] will be rounded down" grrr...
Crawl-delay: 20