chiark / gitweb /
Game updates: Actually delete old aliases when resetting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 13 May 2021 08:45:25 +0000 (09:45 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 13 May 2021 08:45:25 +0000 (09:45 +0100)
commit9cd051c71ca62c0fa18aa95d39ca585b8660382b
tree0ad745f1b9b46ee8175a625e0871ca0c65289d95
parent5bfb29d919a079baf180bf52e9c438ebe7bcde21
Game updates: Actually delete old aliases when resetting

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