also upload to MPI server
authorRalf Jung <post@ralfj.de>
Thu, 8 Oct 2015 21:28:09 +0000 (23:28 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 8 Oct 2015 21:28:09 +0000 (23:28 +0200)
commitaa1de30942cd57a8101bc8b3fc1ffea3c591b0a8
tree26dfb6fece88c01d8375205baa9d3576ef456cd2
parent7e312d65149b432f1d09055d1c413e3da410004b
also upload to MPI server
upload.sh