# robots.txt

User-agent: *
Disallow: /.xtras/
Disallow: .info/
Disallow: /dev/
Disallow: /display/
Disallow: /dataMining/
Disallow: /edit/
Disallow: /htmlarea/
Disallow: /jic/
Disallow: /mod/
Disallow: /official/
Disallow: /play/
Disallow: /people/
Disallow: /private/
Disallow: /.teaching/
Disallow: /.applicants/