ctrl: Allow command line arguments to override config file options.
Closes #2010. Thanks to Willem Eradus.pull/2027/head
parent
300dc54dad
commit
26fbd0ec74
Loading…
Reference in New Issue