# robots.txt for http://www.gerhard-mantel.de/
# file created: 08.09.2003
User-agent: *
Disallow: /src