User-agent: *
Disallow: /
# ##################################################
# google extension NONSTANDARD
# ##################################################
Allow: /~ascholtz/
Allow: /~ccarpen/
Allow: /~cgoodman/
Allow: /~clas381a/
Allow: /~clas382a/
Allow: /~msarkar/