# robots.txt for mensa

User-agent: *
Disallow: audio
Disallow: gifs
Disallow: math1111
Disallow: math1113
Disallow: math1220