| Tue, 13 Sep 2022 11:56:38 +0200 | wenzelm | let rsync re-use ssh connection via control path; | changeset | files |
| Tue, 13 Sep 2022 10:44:47 +0200 | wenzelm | clarified command-line; | changeset | files |
| Tue, 13 Sep 2022 10:34:52 +0200 | wenzelm | clarified command-line; | changeset | files |
| Tue, 13 Sep 2022 10:14:44 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 13 Sep 2022 10:11:53 +0200 | wenzelm | proper port for Mercurial; | changeset | files |
| Tue, 13 Sep 2022 09:59:08 +0200 | wenzelm | clarified default: do not override port from ssh_config, which could be different from 22; | changeset | files |
| Tue, 13 Sep 2022 09:45:02 +0200 | wenzelm | proper Scala expression; | changeset | files |
| Tue, 13 Sep 2022 09:38:02 +0200 | wenzelm | clarified signature: separate unrelated modules; | changeset | files |
| Tue, 13 Sep 2022 09:24:31 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 12 Sep 2022 23:38:18 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 12 Sep 2022 23:26:21 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 12 Sep 2022 23:24:50 +0200 | wenzelm | clarified error; | changeset | files |
| Mon, 12 Sep 2022 23:10:45 +0200 | wenzelm | merged | changeset | files |
| Mon, 12 Sep 2022 23:03:57 +0200 | wenzelm | removed remains of proxy_host management: delegated to .ssh/config; | changeset | files |