https for plv.mpi-sws.org
[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