add empty robots.txt (for fewer 404s)
[web.git] / upload.sh
2015-10-09 Ralf Jungget rid of blog description; more welcome fixes
2015-10-09 Ralf Jungprepare for having two sites: personal and research
2015-10-08 Ralf Jungalso upload to MPI server
2015-10-08 Ralf Jungupload script