[Draft] Add option MUJOCO_USE_SINGLE_PRECISION to enable compilation of MuJoCo with single precision#2278
Draft
traversaro wants to merge 5 commits intogoogle-deepmind:mainfrom traversaro:fix2070
+171-156
Commits
Commits on Dec 7, 2024
- committed
- committed
- committed
- committed
