# robots.txt for http://hpsg.stanford.edu/

User-agent: *