# /robots.txt file for http://pint.pmhahn.de/

User-agent: *
Disallow: /mindandmagic/
Disallow: /linbot/
Disallow: /acm/
Disallow: /jsdk/
Disallow: /java/
Disallow: /python/
Disallow: /doc/

User-agent: wget
Allow: /mindandmagic/

User-agent: Linbot
Allow: /