Skip to content
GitLab
Explore
Sign in
Some Updates
Code
Review changes
Check out branch
Download
Patches
Plain diff
Steffen Korn
requested to merge
Updates
into
master
Dec 07, 2023
Overview
0
Commits
5
Pipelines
3
Changes
13
Expand
This MR
Updates some plotting scale related lines
Fixes some issues with pruning nodes in graphs
removes the
SeparationPlotScale
option
introduces some other minor cleanup/changes
Merge request reports
Loading