chiark / gitweb /
config: Drop mention of DEFAULT here too
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 25 Sep 2022 19:31:53 +0000 (20:31 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 25 Sep 2022 19:31:53 +0000 (20:31 +0100)
commit62381cd11f8770ec1970608859a58dc67af377c8
treeea43939c4a80c8b34eefcc0a5064dfe01ccd98e1
parent40dc7033e211c68138728d82f171fddf7d41e5ce
config: Drop mention of DEFAULT here too

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