chiark / gitweb /
fix leave game to not delete all pieces
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 23 Nov 2020 19:20:33 +0000 (19:20 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 23 Nov 2020 19:20:37 +0000 (19:20 +0000)
commitdacd0eb325f6fd0a0a4dec316aadd67a783c7540
treeb7c31c53171c6216715e39d144422bdf2d2d7a9a
parent18548365fef5324c4e051021c4d3beb4fd19130e
fix leave game to not delete all pieces

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