# robots.txt for http://arch.polylog.org
User-agent: *
Disallow: /src/
Sitemap: http://arch.polylog.org/site-en.htm