Fix for issue #11 (!78) · Merge requests · Education / Marble · GitLab

The source project of this merge request has been removed.

Gilles Caulier requested to merge (removed):master into master Jul 05, 2022

This little patch must fix the issue #11 (closed)