# robots.txt file for http://www.webkb.org

User-agent: *
Disallow: /bin/
Disallow: /WebKB/bin/
Disallow: /~phmartin/WebKB/bin/