| Sat, 04 Nov 2023 16:48:51 +0100 | wenzelm | proper exploration of older history: avoid premature fallback on current "rev" (see also d3d5cb2d6866, 6706d6f0afda); | changeset | files |
| Sat, 04 Nov 2023 16:45:16 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 04 Nov 2023 16:31:02 +0100 | wenzelm | tuned output; | changeset | files |
| Sat, 04 Nov 2023 16:30:24 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 04 Nov 2023 16:07:22 +0100 | wenzelm | tuned message; | changeset | files |
| Fri, 03 Nov 2023 19:10:21 +0100 | wenzelm | proper option; | changeset | files |
| Fri, 03 Nov 2023 19:00:00 +0100 | wenzelm | merged | changeset | files |