# robots.txt for http://kernel-project.kickino.org/
User-agent: *
Disallow: /source/