# See http://www.robotstxt.org/wc/norobots.html for documentation on how to use the robots.txt file
#
# Ban all spiders from the https pages:
User-Agent: *
Disallow: /https*