| Mon, 03 Oct 2016 20:09:50 +0200 | wenzelm | more operations; | file | diff | annotate |
| Wed, 09 Mar 2016 14:54:51 +0100 | wenzelm | bash process with builtin timing; | file | diff | annotate |
| Mon, 07 Mar 2016 22:37:31 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 01 Mar 2016 21:00:38 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 25 Feb 2016 00:27:57 +0100 | wenzelm | proper return code for timeout (amending f868f12f9419); | file | diff | annotate |
| Thu, 25 Feb 2016 00:18:48 +0100 | wenzelm | retain tail out_lines as printed, but not the whole log content; | file | diff | annotate |
| Wed, 24 Feb 2016 23:36:45 +0100 | wenzelm | more informative Build.build_results; | file | diff | annotate |
| Wed, 24 Feb 2016 22:40:19 +0100 | wenzelm | more informative Process_Result; | file | diff | annotate |
| Wed, 24 Feb 2016 22:11:28 +0100 | wenzelm | clarified modules; | file | diff | annotate |