Thu, 15 Feb 2024 13:00:56 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
Thu, 15 Feb 2024 12:57:19 +0100 | wenzelm | prefer static object, while class is required for "services" (see 47eb96592aa2); | file | diff | annotate |
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 |