chiark / gitweb /
dot/putty-defaults: Express the font name in a more modern way.
[profile] / dot / cgrc
1 log -c
2 diff -c