chiark / gitweb /
config: Note a todo
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 30 Jul 2021 18:41:42 +0000 (19:41 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 30 Jul 2021 18:41:42 +0000 (19:41 +0100)
commit5280699969460b566c675e5408165c7b02d44b54
tree79288d6bd5e0191ed9013c29b5942e2f0e8ce6a5
parent92add4d9a6691dd8cefe960289c3ca789dc5bc8a
config: Note a todo

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