chiark / gitweb /
new config defaulting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Aug 2020 20:23:57 +0000 (21:23 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Aug 2020 20:23:57 +0000 (21:23 +0100)
commitba83881350c0f469f203efe157522b2d98fba4b4
treea4540cc17c0196c3c3ebc94e4fe5b743dc152769
parent04a4bb37ed9ff66ad647133e9540a08653ee00c4
new config defaulting
src/bin/server.rs
src/global.rs