Configure option syntax now only uses dashes#358

Merged

nusbaume merged 3 commits intoESCOMP:developmentfrom

nusbaume:config_opt_syntax_fix

Feb 7, 2025

Commits on Feb 6, 2025

Commits on Feb 7, 2025

Remove single-dash config options, and clean-up argparse calls.
nusbaume
committed