chiark / gitweb /
~mdw / profile / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dot/putty-defaults: Express the font name in a more modern way.
[profile] / dot / zprofile
2017-08-06 Mark Woodingdot/zprofile, dot/zshrc: Configuration for Zsh. blob | commitdiff | raw
Dotfiles and other configuration.