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

Merged Martin Heistermann requested to merge feature-int-histograms into master Apr 20, 2020

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

Edited Apr 20, 2020 by Martin Heistermann