v2012-10-31

Jens Gustedt

@gustedt

62d98141 · add a generic run script that receives the executable and its arguments · Oct 31, 2012

after a long struggle this one seems to work, at last