Wed, 18 Mar 2020 22:22:16 +0100 | wenzelm | clarified connection parameters (again, after adjusting $HOME/.ssh configuration); | changeset | files |
Wed, 18 Mar 2020 22:10:29 +0100 | wenzelm | clarified output; | changeset | files |
Mon, 16 Mar 2020 23:02:55 +0100 | wenzelm | proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config); | changeset | files |