chiark / gitweb /
config: Get rid of Default
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 24 Jul 2021 15:35:59 +0000 (16:35 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 24 Jul 2021 15:35:59 +0000 (16:35 +0100)
commitbaeceb6b14bd08fc0ff1e8c3b7002feb65bc93c3
treef7bcd94837e7007173d1fe9b30438717926fc66e
parent42ff525eafb70731af86276d7893b738d980b53b
config: Get rid of Default

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