Fix core ruler plugin (!107) · Merge requests · OpenFlipper-Free / OpenFlipper · GitLab

Merged Martin Schultz requested to merge fixCoreRulerPlugin into master May 25, 2018

fixes https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper-Free/issues/152

Edited May 25, 2018 by Martin Schultz