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 |
Wed, 24 Feb 2016 23:36:45 +0100 | wenzelm | more informative Build.build_results; | changeset | files |