chiark / gitweb /
ui.rs: Bring another constants together here
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Apr 2022 22:34:24 +0000 (23:34 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Apr 2022 23:07:39 +0000 (00:07 +0100)
commited3b033706692faab20f0ce5cf214993515bdb79
treec49e318340b32c1b74864270787c036a6106193a
parent92459c21a7cffa465a9fd407b046fc4b01c0ce04
ui.rs: Bring another constants together here

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/pieces.rs
src/ui.rs