# robots.txt for http://webdev.ucop.edu User-Agent: * Disallow: /