# See http://www.robotstxt.org/wc/norobots.html for documentation on how to use the robots.txt file
# 070521: disallow crawlers to visit the revision history pages
User-agent: *
Disallow: /sources/*/revisions