-
Daniel Lehmberg authoredMerge branch 'master' into 241-new-flag-to-compute-metric-for-the-quality-of-the-stepcircleoptimizer
a345e775
9.6.2023: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.
Merge branch 'master' into 241-new-flag-to-compute-metric-for-the-quality-of-the-stepcircleoptimizer