-
Micha Mueller authored
Reintroduce -v command line option Reworked (partially reverted to previous state) how cmd-line options and global config-options are read in
6b7a4f50
Reintroduce -v command line option Reworked (partially reverted to previous state) how cmd-line options and global config-options are read in