# robots.txt for http://mike.stoker.org/

User-agent: *