chiark / gitweb /
Use $c{Sea} in a few places
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Mar 2019 18:38:29 +0000 (18:38 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Mar 2019 18:38:29 +0000 (18:38 +0000)
commitcb85143e63e5dc3e3b107bd10faa2e55d5258340
treeb8a2a73177c4d99d9030596d182ddd75e87afbbf
parent919666660ec453db0d7ce4acb1db166190c8b240
Use $c{Sea} in a few places

NFC
generate-board