Aldo Cortesi ee6937f948 docs: add robots.txt and error.html ... - robots.txt prevents crawling of everything but /stable - error.html has a simple meta refresh to the latest stable docs. This will also help crawlers find the right path.		2018-03-05 10:57:50 +13:00
..
error.html	docs: add robots.txt and error.html	2018-03-05 10:57:50 +13:00
robots.txt	docs: add robots.txt and error.html	2018-03-05 10:57:50 +13:00