Sun, 05 Mar 2023 16:26:59 +0100 | wenzelm | removed unused arguments: avoid ambiguity concerning progress/verbose; | changeset | files |
Sun, 05 Mar 2023 16:14:48 +0100 | wenzelm | clarified protocol for "verbose" messages; | changeset | files |
Sun, 05 Mar 2023 15:34:00 +0100 | wenzelm | clarified signature: manage "verbose" flag via "progress"; | changeset | files |