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