User-agent: *
Disallow: /dev.berkeleypubliclibrary.org/
Disallow: /branchdocs/