summaryrefslogtreecommitdiff
path: root/bin/run
AgeCommit message (Expand)AuthorFilesLines
2014-12-05bin/run: add WNT supportMichael Stahl1-1/+23
2014-12-05bin/run: Adapt to run on Debian so-called GNU/Linux systems tooMichael Stahl1-2/+2
2014-11-18No need to cd into instdir/programStephan Bergmann1-1/+0
2014-11-17bin/run: add a license headerMichael Stahl1-0/+7
2014-11-12Adapt bin/run for OS XStephan Bergmann1-0/+23
2014-10-31bin/run: add a convenient shell wrapper to run executables from workdirMichael Stahl1-0/+24