mirror of
https://github.com/OPM/opm-simulators.git
synced 2025-02-25 18:55:30 -06:00
while they do no longer appear in the help message, in the code they are still there and can be specified and used as normal. also, this patch makes --print-parameters=1 and --print-properties=1 work.