From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 19 Sep 2017 16:25:31 +0000 (+0100)
Subject: dot/putty-defaults: Track font-name preference label changes.
X-Git-Url: https://git.distorted.org.uk/~mdw/profile/commitdiff_plain/36b8c929e3c25f4f17cedba623ea4a5325014942?ds=sidebyside;hp=36b8c929e3c25f4f17cedba623ea4a5325014942

dot/putty-defaults: Track font-name preference label changes.
---