Commit 345173a3116a6b584be460add4d331c3e4df7476

Steffen Jaeckel 2019-05-24T11:27:42

make it possible to run etc/tune_it.sh from wherever you want