add empty robots.txt (for fewer 404s)
[web.git] / ralf / robots.txt
2021-11-19 Ralf Jungadd empty robots.txt (for fewer 404s)