chiark / gitweb /
~mdw / profile / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
dot/putty-defaults: Use client-side `Fixed' font.
[profile] / dot / parallel-config
1 ### -*-conf-*-
2 --gnu
Dotfiles and other configuration.