Move almost all of the rest of options.rs to arti crate (!425) · Merge requests · The Tor Project / Core / Arti

Ian Jackson requested to merge Diziet/arti:move-more-config into main Mar 21, 2022

This clears out almost all the remaining knowledge of specific configuration items, leaving general configuration manipuluation code.

ARTI_DEFAULTS ought now not to be here. Leave it here for the moment while we decide whether to abolish arti_config and move it all to cfg (#375 (closed)).

This is part of #285 (closed)

Move almost all of the rest of options.rs to arti crate

Merge request reports