# robots.txt for WWW.MIRAMEDIA.NL

User-agent: *
Disallow: /include/
Disallow: /library/
Disallow: /tools/