chiark / gitweb /
~mdw / profile / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 28acc5a)
dot/Xdefaults, dot/Xdefaults.pterm: Set bold font explicitly.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 12 Jul 2024 17:15:27 +0000 (18:15 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 12 Jul 2024 17:17:32 +0000 (18:17 +0100)
The manual says that PuTTY double-strikes by default, but the results
don't look terribly different.  Maybe `6x13b' is just double-struck
anyway.  But this seems a better thing to do.


No differences found
Dotfiles and other configuration.