chiark / gitweb /
config: better display
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 24 Jul 2021 18:49:13 +0000 (19:49 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 24 Jul 2021 18:49:13 +0000 (19:49 +0100)
commit7fa97278038634f7938f0c11dbb1d7c4731eeb9a
treea7e4bdc3b276a6050cb32cbd3d30e1fd2261c69b
parent61c21b67b0a15e6a16faf4ad8c3e35f5722aed06
config: better display

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