| 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 |