# robots.txt for http://aiaia.cgm.cnrs-gif.fr/
# We love google, but...
User-agent: Googlebot
Disallow: /diane
Disallow: /array

# For the fiends from Microsoft who probably don't pay attention anyway
User-agent: MSNbot
Disallow: /

# and tutti quanti
User-agent: *
Disallow: /diane
Disallow: /array