upload 129 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1 2 3 4 5
#!/bin/sh
set -e
cd "$(dirname "$(readlink -e "$0")")"

rub iris
6
scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.2.pdf
Ralf Jung's avatar
Ralf Jung committed
7