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 |