Feature int histograms (includes refactoring) (!19) · Merge requests · OpenFlipper-Free / Plugin-PropertyVis · GitLab

This relies on https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper/-/merge_requests/181

Edited Apr 20, 2020 by Martin Heistermann