Skip to content
GitLab
Explore
Sign in
Harmonized and less generic UI for minimizers
Code
Review changes
Check out branch
Download
Patches
Plain diff
m.puchner
requested to merge
minimizerUI
into
develop
Nov 24, 2021
Overview
1
Commits
6
Pipelines
1
Changes
26
Expand
Harmonize the UI for minimizers
less generic UI for minimizers
remove TestMinimizer which existed only for testing reasons
remove obsolete code for generic UIs
adapt tests
The change in the UI is like this (left old, right new):
Merge request reports
Loading