chiark / gitweb /
dot/parallel-hosts: Use VPN name for `mdwdev'.