Artifact b76b8ce8e86b3cee27be128bff5b110a5bd1247b:

• File doc/using.but — part of check-in [8d27b54607] at 2008-06-01 06:16:32 on branch trunk — Been meaning to do this for years: introduce a configuration option to manually tweak the host name and port number under which the SSH host key is read and written. I've put it in the cross-platform Connection panel. Partly under the flimsy pretext that other backends _can_ use it if they so wish (and in fact it overrides the host name for title-bar purposes in all network backends, though it has no other effect in anything but SSH); but mostly because the SSH panel was too full already :-) (user: simon size: 38743)

A hex dump of this file is not available. Please download the raw binary file and generate a hex dump yourself.