| Thu, 15 Feb 2024 11:33:36 +0100 | wenzelm | more robust type, with explicit default; | file | diff | annotate |
| Thu, 15 Feb 2024 10:32:36 +0100 | wenzelm | tuned usage message; | file | diff | annotate |
| Thu, 15 Feb 2024 10:15:28 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 20 Jan 2024 15:07:41 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |