view static/robots.txt @ 479:4b88b3c4fc80

downloads: initialize downloader from sources.js earlier c65b81353b8f inadvertently broke the /downloads page by moving the call to Downloader.init(sources) later in the rendering process, after the downloads list has already been written. As a stopgap, we introduce an earlier call to initialize the versions before attempting to render the list. Future changes will move this inline script into an onload function.
author Kevin Bullock <kbullock+mercurial@ringworld.org>
date Sun, 14 May 2017 21:47:27 -0500
parents 4dfad479ee98
children
line wrap: on
line source

User-agent: *
Crawl-delay: 100
Disallow: /hg
Disallow: /repo
Disallow: /bts/issue?

User-agent: geniebot
Disallow: /

User-agent: ShopWiki
Disallow: /

User-agent: DotBot
Disallow: /