chiark / gitweb /
config: fix some reporting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 24 Jul 2021 18:02:50 +0000 (19:02 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 24 Jul 2021 18:02:50 +0000 (19:02 +0100)
commit1cbb7b67323ba385cf67359aa256b4b2b71139bf
tree28b380c7eb6c16db1b39d0da5c2290501ff08c6a
parent487fb404bdb4dbf76473084acbd3e39929951de8
config: fix some reporting

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