chiark / gitweb /
config: Better printing of wrong section error
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Aug 2021 16:54:18 +0000 (17:54 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Aug 2021 18:10:04 +0000 (19:10 +0100)
commit1f922d4f5fcecf9e9345435018850bb7da5b6235
treedd573e6deafeb416e178b75cbf3faf3ea2494034
parent0e590dec7b00dbdd48e5bbc2e0dbf44a4d44a52c
config: Better printing of wrong section error

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