~mdw / profile / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dot/putty-defaults: Include new shiny SSH settings.
[profile] / bin / hacks /
2017-08-13 Mark WoodingUse a proper makefile rather than the `setup' script. tree | commitdiff
Dotfiles and other configuration.