# robots.txt for http://ev.polylog.org
User-agent: *
Disallow: /src/