chiark / gitweb /
dot/putty-defaults: Use client-side `Fixed' font.