| Tue, 07 Nov 2023 12:02:34 +0100 | wenzelm | proper Option.Spec.toString for bash script: avoid Token.quote_name of Options.Spec.print_value (amending 3d1746a716fa, see also 39f6f180008d); | changeset | files |
| Sun, 05 Nov 2023 19:55:18 +0100 | wenzelm | more tests; | changeset | files |
| Sun, 05 Nov 2023 19:40:39 +0100 | wenzelm | clarified exploration of history: more uniform options; | changeset | files |