| Wed, 14 Sep 2022 15:57:47 +0200 | wenzelm | more robust; | changeset | files |
| Wed, 14 Sep 2022 15:42:24 +0200 | wenzelm | more robust: Bash.string operations require remote bash; | changeset | files |
| Wed, 14 Sep 2022 14:59:01 +0200 | wenzelm | support port forwarding without multiplexing (for the sake of Windows); | changeset | files |
| Wed, 14 Sep 2022 14:54:21 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Wed, 14 Sep 2022 10:46:47 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 13 Sep 2022 23:06:52 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 13 Sep 2022 23:01:42 +0200 | wenzelm | clarified signature; | changeset | files |