| Thu, 26 Nov 2020 17:32:43 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 26 Nov 2020 17:23:33 +0100 | wenzelm | clarified options: batch-build has pide_reports disabled by default (requires significant resources); | changeset | files |
| Thu, 26 Nov 2020 17:01:19 +0100 | wenzelm | tuned; | changeset | files |