chiark / gitweb /
hidden: Provide per-player id map
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Jan 2021 23:06:44 +0000 (23:06 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 Jan 2021 18:38:28 +0000 (18:38 +0000)
commit133468b43f4aa6f7dcbe3113ee89051584cb5f71
treed72a75213ea2e9bef9a09a3a32b90ded71bbe5f8
parent3d3aee4f73474e9c7434a4c5547da1cb7810b257
hidden: Provide per-player id map

Not used yet...

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/cmdlistener.rs
src/gamestate.rs
src/hidden.rs
src/imports.rs
src/lib.rs