chiark / gitweb /
~mdw / profile / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dot/parallel-hosts: Use VPN name for `mdwdev'.
[profile] / bin / hacks /
2017-08-13 Mark WoodingUse a proper makefile rather than the `setup' script. tree | commitdiff
Dotfiles and other configuration.