chiark / gitweb /
~mdw / profile / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
dot/putty-defaults: Express the font name in a more modern way.
[profile] / dot / infokey
1 ### -*-conf-*-
2
3 #var
4 hide-note-references=On
5 link-style=cyan
6 active-link-style=cyan,underline
7 match-style=black,bgmagenta
Dotfiles and other configuration.