| Thu, 25 Feb 2016 00:35:17 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 25 Feb 2016 00:27:57 +0100 | wenzelm | proper return code for timeout (amending f868f12f9419); | changeset | files |
| Thu, 25 Feb 2016 00:18:48 +0100 | wenzelm | retain tail out_lines as printed, but not the whole log content; | changeset | files |
| Thu, 25 Feb 2016 00:06:37 +0100 | wenzelm | explicit class Build_Results; | changeset | files |