dot/putty-defaults: Permit changing the window title.
authorMark Wooding <mdw@distorted.org.uk>
Wed, 22 Apr 2020 23:10:56 +0000 (00:10 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 22 Apr 2020 23:10:56 +0000 (00:10 +0100)
commitba9ea57b41a2476ba2762f2090e11f9c2e6de29b
treec66412995f65281a80a4b37cc3746aa010a54bb8
parent1e0b3449d6ffbf89d4e0f5c7ed5efa030d74079e
dot/putty-defaults: Permit changing the window title.
dot/putty-defaults