Skip to content

deps/mujoco: Fix wrong mujoco_DIR path

Kevin Haag requested to merge fix/mujoco into main

During usage I found that the mujoco_DIR path was not matching the path generated by mujoco.

Merge request reports