chiark / gitweb /
ini: fixes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Aug 2021 20:28:49 +0000 (21:28 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Aug 2021 20:28:49 +0000 (21:28 +0100)
commitb5603ccd0d6cd0d2722d631e16e1c1cf3fbdbcf8
tree4b16a7bb42c41db1179b60a6c944a10252d346c5
parent4fea9e4590385834ffc0b13360dc7b87ec52c978
ini: fixes

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