Skip to content

ParameterDB

Florian Attenederrequested to merge
parameterdb into main

Add a ParameterDB and ParameterDict type so that we can record which parameters are defaults and which were used.

Merge request reports