User-agent: *
Disallow: /bugs/
Disallow: /javel/
Disallow: /index.php/