chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b52009) | patch
global: Refactor destroy game best effort deleting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 1 May 2021 18:56:09 +0000 (19:56 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 1 May 2021 18:56:09 +0000 (19:56 +0100)
commit065c14c9dc4948aea2c7b359df5831834b194baa
treeb4aaf3a0e78551f512eac3b3907397a96a0f442dtree | snapshot
parent5b52009084447cd41006dd4e03336d338b05d6c4commit | diff
global: Refactor destroy game best effort deleting

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