chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e91b813) | patch
infopane: Plumbing for player list
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 13 Jan 2021 23:50:05 +0000 (23:50 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 13 Jan 2021 23:50:05 +0000 (23:50 +0000)
commitcb542b261fb3b66b13e38913d096f9d95024afc8
tree26274392e6420edd33537fb299f6e4a575ad3187tree | snapshot
parente91b81396b4ee95bfd6381a8985e9771e4844bf3commit | diff
infopane: Plumbing for player list

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