# robots.txt zu http://www.archtools.de/

User-agent: *
Disallow: /D-ArchDIM/
Disallow: /D-ArchAREA/
Disallow: /D-DynaText/
Disallow: /E-ArchDIM/
Disallow: /E-ArchAREA/
Disallow: /E-DynaText/
Allow: /index.html