Merge branch 'Warnings' of...
Merge branch 'Warnings' of https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper-Free into Warnings
Merge branch 'Warnings' of https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper-Free into Warnings