Added -i | --ident option to report-runner.
authorJan Vrany <jan.vrany@fit.cvut.cz>
Wed, 22 Jan 2014 12:21:23 +0100
changeset 219 e523bbce3a1f
parent 218 82447e847e2d
child 220 9f00543f542d
Added -i | --ident option to report-runner. The ident string is then part of output file name.