#
# robots.txt for www.ee.kernel.org
#

User-agent: *
Disallow: /