| Mon, 27 Feb 2023 11:19:16 +0100 | wenzelm | tuned messages; | changeset | files |
| Mon, 27 Feb 2023 11:02:07 +0100 | wenzelm | clarified error output vs. process_result stored in build_database (see also 13a0f537e232 and bff56eae3ec5); | changeset | files |
| Mon, 27 Feb 2023 10:26:36 +0100 | wenzelm | clarified system option: guard for testing, until the database layout has stabilized; | changeset | files |