Auto translation of input flags

Addresses #451 (closed)

changed milestone to %2.6.0

added PR category: Flags / History labels

requested review from @palmb

assigned to @schaefed

added 1 commit

• 53073556 - auto translation of input flags

Compare with previous version

added 1 commit

• a2500e88 - auto translation of input flags

Compare with previous version

approved this merge request

added 1 commit

• 1ef83266 - property based scheme prep

Compare with previous version

resolved all threads

merged

mentioned in commit 86766227