Skip to content
Snippets Groups Projects
Commit 584e627a authored by m.puchner's avatar m.puchner
Browse files

Merge branch 'minimizerUI' into 'develop'

Harmonized and less generic UI for minimizers

See merge request !475
parents 086d1945 5179b5e6
No related branches found
No related tags found
Loading
Checking pipeline status