Feature core profile (!3) · Merge requests · OpenFlipper-Free / Plugin-SelectionBase · GitLab

Merged Martin Schultz requested to merge featureCoreProfile into master Mar 20, 2018

see https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper-Free/merge_requests/291