# robots.txt - define which paths should not be indexed

User-agent: *
Disallow: /_darcs
Disallow: _darcs