#
# robots.txt for http://www.w3.org/
#
# $Id: robots.txt,v 1.46 2007/08/29 17:06:22 ted Exp $
#

User-agent: *