| Mon, 10 Oct 2016 11:48:24 +0200 | wenzelm | clarified treatment of options; | changeset | files |
| Mon, 10 Oct 2016 11:11:38 +0200 | wenzelm | support for remote command execution; | changeset | files |
| Mon, 10 Oct 2016 10:42:14 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 10 Oct 2016 10:41:04 +0200 | wenzelm | more generous timeout default (see also jEdit/FTP); | changeset | files |
| Mon, 10 Oct 2016 10:33:52 +0200 | wenzelm | connect session by default; | changeset | files |
| Mon, 10 Oct 2016 10:25:59 +0200 | wenzelm | clarified (hardwired!) default (see also jEdit/FTP); | changeset | files |
| Mon, 10 Oct 2016 09:57:56 +0200 | wenzelm | tuned comment; | changeset | files |