chiark / gitweb /
dot/parallel-hosts: Add missing entry for `mango'.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 17 May 2020 11:34:06 +0000 (12:34 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 17 May 2020 11:34:06 +0000 (12:34 +0100)
commitbd78f39f35fffb3e9b08d8f07c01961b279ec550
tree5ed8ad4f350ac30844674d2eda8ee64a1b671138
parent46f19b019f8e1263dd80d1a82c5438b63fe5eac2
dot/parallel-hosts: Add missing entry for `mango'.
dot/parallel-hosts