dot/putty-defaults: Track font-name preference label changes.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 19 Sep 2017 16:25:31 +0000 (17:25 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 20 Sep 2017 15:49:30 +0000 (16:49 +0100)

No differences found