# *.cgal.org robots.txt file
User-agent: *

Disallow: /cgi-bin/
Disallow: /Members/
Disallow: /Benchmarks/
Disallow: .gitignore
Disallow: .gitattributes

# That one should no longer be necessary:
Disallow: .svn

# In case we serve a git repository to httpd:
Disallow: .git