# All robots will spider the domain
User-agent: *
Disallow:

# Disallow directory /images/
User-agent: *
Disallow: /images

# Disallow directory /mint/
User-agent: *
Disallow: /mint

# Disallow directory /devel/
User-agent: *
Disallow: /devel