12626: Merge branch 'master' into 12626-merge-accounts
[arvados.git] / services / api / public / robots.txt
1 # See http://www.robotstxt.org/wc/norobots.html for documentation on how to use the robots.txt file
2 #
3 # To ban all spiders from the entire site uncomment the next two lines:
4 # User-Agent: *
5 # Disallow: /