chiark / gitweb /
Rocket cleanup: Remove rocket_workers config variable
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 Mar 2022 21:52:55 +0000 (22:52 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 Mar 2022 23:50:50 +0000 (00:50 +0100)
commit3b3f978b2ba74e8d6504e0195959725a62d7fe12
treec58a07b6e14d938a6cde229aa9536072e0dd78e6
parentdbb9746ede6b75882f2bbb3206a1cd449c1a9bd9
Rocket cleanup: Remove rocket_workers config variable

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