chiark / gitweb /
dot/parallel-hosts: Use VPN name for `mdwdev'.
[profile] / dot / zshenv
2017-08-09 Mark Woodingdot/zshenv, setup: Arrange to run the profile code...