###############################

#

#  robots.txt file for this website 

#

# addresses all robots by using wild card *

#

User-agent: *

# list folders robots are not allowed to index



Disallow: /proofs/
Disallow: /mports/
Disallow: /stats/

User-Agent: Googlebot-Image
Disallow: /



#

# list specific files robots are not allowed to index

#

#Disallow: /tutorials/meta_tags.html

#Disallow: /tutorials/custom_error_page.html

#

# End of robots.txt file

#

###############################