chiark / gitweb /
hidden: per-player id map: Fix to not use _ that way
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 12 Feb 2021 00:42:43 +0000 (00:42 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 12 Feb 2021 01:30:07 +0000 (01:30 +0000)
commit71c6a33939792bcafb3a2747d5efce42b41bfe39
treee70923128ce2d3c039282f850525b25cf8c8312e
parentf2cfb0cbe90b63d3121becf24ab9483bebc82414
hidden: per-player id map: Fix to not use _ that way

This means "may be unused", not "internal", in Rust.

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