# robots.txt for www.tripos.com
# created 12/6/2005
# dderingt@tripos.com

# All robots will spider the domain
User-agent: *
Disallow: /Revolution/