Fri, 24 Jan 2014 16:30:31 +0100 Fixed setup option, meant to be -S
Jan Vrany <jan.vrany@fit.cvut.cz> [Fri, 24 Jan 2014 16:30:31 +0100] rev 225
Fixed setup option, meant to be -S
Wed, 22 Jan 2014 12:22:29 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:22:29 +0100] rev 224
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:22:21 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:22:21 +0100] rev 223
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:21:53 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:21:53 +0100] rev 222
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:21:45 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:21:45 +0100] rev 221
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:21:32 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:21:32 +0100] rev 220
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:21:23 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:21:23 +0100] rev 219
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:21:11 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:21:11 +0100] rev 218
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:21:04 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:21:04 +0100] rev 217
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 27 Nov 2013 02:25:29 +0100 *** empty log message ***
Claus Gittinger <cg@exept.de> [Wed, 27 Nov 2013 02:25:29 +0100] rev 216
*** empty log message ***
(0) -100 -10 +10 +100 +300 tip