# robots.txt for http://ai.eecs.umich.edu

User-agent: *
Disallow: /www-dev/