]> git.ralfj.de Git - web.git/history - personal/robots.txt
remove post-doc position ad
[web.git] / personal / robots.txt
2021-11-19 Ralf Jungadd empty robots.txt (for fewer 404s)