# robots.txt for http://mercator.net

User-agent: *
Disallow: /martin/ # private things
Disallow: /1/ # private things