User-agent: * Disallow: /darcsweb Disallow: /trac/timeline Disallow: /trac/newticket Disallow: /trac/browser Disallow: /trac/changeset Disallow: /ocsigenserver/sources Disallow: /lwt/sources Disallow: /eliom/sources Disallow: /ocsforge/sources Disallow: /obrowser/sources Disallow: /ocsimore/sources