Fri, 02 Mar 2018 18:45:11 +0100 | wenzelm | support for proxy connection, similar to ProxyCommand in ssh config; | changeset | files |
Fri, 02 Mar 2018 15:16:10 +0100 | wenzelm | prefer https; | changeset | files |
Fri, 02 Mar 2018 11:52:27 +0100 | wenzelm | avoid hardwired parameters; | changeset | files |