chiark / gitweb /
move into misc-data.pl: OuterCoastDelta rename
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Mar 2019 19:43:46 +0000 (19:43 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Mar 2019 20:48:19 +0000 (20:48 +0000)
commit6867d04c0b37e26207137452370f2a4fa557b492
tree2fb5fa0141583ad7e6cde5a9d4d744df752be8b8
parentd5e9af6bb498bb4daccb4bc4aa89e05fbd53ba29
move into misc-data.pl: OuterCoastDelta rename

NFC
generate-board