chiark / gitweb /
global: Prepare for aux save files to also be dirs
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 1 May 2021 18:59:58 +0000 (19:59 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 1 May 2021 19:02:34 +0000 (20:02 +0100)
commitf798ed1f5e5cf22e98245cff74861107264a1e3e
tree504c41bd740b7d74ac1b6aa5481bcd0e8264d96a
parent588bf67c1fc5d2e88b2cc480ab9762d35a75d7cf
global: Prepare for aux save files to also be dirs

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