chiark / gitweb /
Use $c{Sea} in a few places
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Mar 2019 18:39:46 +0000 (18:39 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Mar 2019 18:39:46 +0000 (18:39 +0000)
commit0e0770aa29e3a1a5f0b132ce712e0bd63cf96632
tree625a1db47dc87315c3a81f2e0fe409e861332634
parentcb85143e63e5dc3e3b107bd10faa2e55d5258340
Use $c{Sea} in a few places

NFC
generate-board