Skip to content

WEBOTS_HOME was not correct set for linux and MacOS.#162

Merged
BlueAndi merged 1 commit intomainfrom bugfix/webots_homeOct 15, 2024