#
# This file is used to allow crawlers to index our site. 
#
# List of all web robots: http://www.robotstxt.org/wc/active/html/index.html
#
# Check robots.txt at:
# http://www.searchengineworld.com/cgi-bin/robotcheck.cgi
#


User-agent: *
Disallow: /vulcano/
Disallow: /misc/
Disallow: /dat/tmp/
Disallow: /pubic/
Disallow: /tmp/