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)
commitdbb0dec619868bfc25cc7d919f5c70a916316cc1
tree290359fd8d01871b8b3d2551cc04b0dde90f4c70
parent2f5390b753df242d658e9d21bf09d5ee87e3c6cb
also upload to MPI server
upload.sh