Skip to content

Minimizer: rm unused member function, make getter functions const, correct typos

Wuttke, Joachim requested to merge refiner into main

Merge request reports