# /pangea/ is all utility stuff so why bother indexing it?
User-agent: *
Disallow: /pangea/