chiark / gitweb /
errors: Abolish obsolete MgmtError::GameCorrupted
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 May 2021 23:32:38 +0000 (00:32 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 May 2021 23:32:38 +0000 (00:32 +0100)
commit4c0c6f9e87ae44547e41d31db341b91f14d2492e
treed70788331ad69bc247b5a27e7262149d1882865f
parent63e2046cd1496aa93766b30b4ed1bea2638b7791
errors: Abolish obsolete MgmtError::GameCorrupted

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