also upload to MPI server
[web.git] / upload.sh
2015-10-08 Ralf Jungalso upload to MPI server
2015-10-08 Ralf Jungupload script