| Thu, 13 Oct 2016 17:34:39 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 13 Oct 2016 17:22:32 +0200 | wenzelm | integrity test of build_history vs. build_history_base; | changeset | files |
| Thu, 13 Oct 2016 16:14:41 +0200 | wenzelm | clarified log_subdir vs. log_filename; | changeset | files |