| Fri, 30 Dec 2022 16:23:32 +0100 | wenzelm | more flexible: implicit support for Windows; | changeset | files |
| Fri, 30 Dec 2022 13:25:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 30 Dec 2022 12:41:08 +0100 | wenzelm | clarified output; | changeset | files |
| Fri, 30 Dec 2022 12:34:49 +0100 | wenzelm | tuned; | changeset | files |