| Thu, 06 Oct 2022 20:13:55 +0200 | wenzelm | more robust: prefer Windows $USERNAME; | changeset | files |
| Thu, 06 Oct 2022 17:24:55 +0200 | wenzelm | proper home directory for ssh configuration (e.g. ~/.ssh/config); | changeset | files |
| Thu, 06 Oct 2022 14:40:45 +0200 | wenzelm | more NEWS; | changeset | files |
| Thu, 06 Oct 2022 11:38:23 +0200 | wenzelm | clarified signature: more arguments; | changeset | files |