chiark / gitweb /
config
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 24 Jul 2021 12:52:36 +0000 (13:52 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 24 Jul 2021 12:52:36 +0000 (13:52 +0100)
commit730c612fde7148ed019f4617ad52e7bbd554ca1d
tree2bdc0d63c7af5ee9548ef3a1590e1f44462a4204
parent51ef02a8819cefb1556814bf65dc5ba428b581d4
config

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