chiark / gitweb /
config: Note a problem with ini
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 5 Aug 2021 00:07:50 +0000 (01:07 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 5 Aug 2021 00:07:50 +0000 (01:07 +0100)
commit14f3f9758b80fb5d0a8d3bd785255acf1ca5368a
tree6940130107f476dddb3d624b41f4438bdd0b98dc
parent0856f37d28b80c83ee9d795912cfddd869e250c8
config: Note a problem with ini

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