# robots.txt for tauchen-mit-thomas
# Allow access to all files
User-agent: *
Disallow: