# robots.txt for http://www.cat-sidh.net

# All robots will spider the domain
User-agent: *
Disallow: