chiark / gitweb /
tiny adjustments to track symbols
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 3 Mar 2019 21:20:21 +0000 (21:20 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 3 Mar 2019 21:20:21 +0000 (21:20 +0000)
commit5d17487d84216a243bad44b5ee982aa1dc2d4394
treee8693665918566b32d0adb51f440f5860473acf6
parentf32b6a3b17ac2a739ab5fa25a8b0b7d30a9240f7
tiny adjustments to track symbols
generate-board