Bård Skaflestad 8dcb37570b Rename Convergence Output Option ... This commit renames the previously introduced command line option ExtraConvergenceOutput (--extra-convergence-output) into the more descriptive OutputExtraConvergenceInfo (--output-extra-convergence-info) Suggested by: [at]OPMUSER		2022-12-20 12:32:14 +01:00
..
core/props	add missing include	2022-12-10 01:58:32 +01:00
simulators	Rename Convergence Output Option	2022-12-20 12:32:14 +01:00