Tue, 11 Oct 2016 09:50:04 +0200 | wenzelm | modernized date format; | changeset | files |
Tue, 11 Oct 2016 09:41:07 +0200 | wenzelm | tuned signature; | changeset | files |
Tue, 11 Oct 2016 09:37:59 +0200 | wenzelm | eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline; | changeset | files |