modified extension check with respect to new CoreProfiles (!1) · Merge requests · OpenFlipper-Free / Plugin-Render-Normals · GitLab

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