chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32e9512) | patch
hidden: Fix type of PUO::PerPlayer
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 12 Feb 2021 00:52:45 +0000 (00:52 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 12 Feb 2021 01:38:24 +0000 (01:38 +0000)
commitcc87e9d7323166bcece61937df2f3ea486249f63
treeba75df16e196830b5f33121bda3e4247d4d0bedbtree | snapshot
parent32e9512b6a9b84582322f905679c1436e03ff25dcommit | diff
hidden: Fix type of PUO::PerPlayer

This is keyed by PlayerId, ie a SecondaryMap

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/updates.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.