| Thu, 15 Feb 2024 12:37:52 +0100 | wenzelm | tuned: prefer explicit update operation for immutable options; | changeset | files |
| Thu, 15 Feb 2024 12:18:25 +0100 | wenzelm | tuned message; | changeset | files |
| Thu, 15 Feb 2024 11:33:36 +0100 | wenzelm | more robust type, with explicit default; | changeset | files |
| Thu, 15 Feb 2024 10:32:36 +0100 | wenzelm | tuned usage message; | changeset | files |