chiark / gitweb /
dot/Xdefaults, dot/Xdefaults.pterm: Set bold font explicitly.
[profile] / dot / cgrc
1 log -c
2 diff -c