2016-10-10 | wenzelm | more generous timeout default (see also jEdit/FTP); | changeset | files |
2016-10-10 | wenzelm | connect session by default; | changeset | files |
2016-10-10 | wenzelm | clarified (hardwired!) default (see also jEdit/FTP); | changeset | files |
Loading... |