chiark / gitweb /
hidden: Add ShowUnocculted to ui_operations
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 15 Mar 2021 16:22:37 +0000 (16:22 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 15 Mar 2021 16:22:37 +0000 (16:22 +0000)
commitf6170b9caab1ab0f0c119161a4c61aaaf0720d13
tree9b5f6d4fb998df89eed5f3c4a1577c7f9da7f37f
parent9a3f60ec28b908b7e168cd0e754dbb5980247c72
hidden: Add ShowUnocculted to ui_operations

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otterlib.rs
src/gamestate.rs
src/hand.rs
src/pcrender.rs