Skip to content
Snippets Groups Projects
Select Git revision
  • b02e7a74fc938e9b95be076810d3f084bd2fd20a
  • master default protected
  • noGUIDE
  • 4.5
4 results

src

user avatar
Dóra Kocsis authored
In case of nested options (eg: estimation.moments_posterior_density.indicator) the syntax: options_.(gui_auxiliary.command_option_mapping(name)) failed to populate the options_ field.
b02e7a74
History