-
https://gitlab.inria.fr/dtk/dtk-widgetsPierre Fernique authored
Merge branch 'develop' of https://gitlab.inria.fr/dtk/dtk-widgets into feature/adapt_menu_parameter_generator_to_menubar
6e508314
Merge branch 'develop' of https://gitlab.inria.fr/dtk/dtk-widgets into feature/adapt_menu_parameter_generator_to_menubar