Merge branch 'google-deepmind:main' into unity/passive-resubmit

This commit is contained in:
Balint Hodossy
2026-03-12 15:52:46 +00:00
committed by GitHub
51 changed files with 957 additions and 531 deletions
+1 -1
View File
@@ -112,7 +112,7 @@ public const int mjMAXLINEPNT = 1001;
public const int mjMAXPLANEGRID = 200;
public const bool THIRD_PARTY_MUJOCO_MJXMACRO_H_ = true;
public const bool THIRD_PARTY_MUJOCO_MUJOCO_H_ = true;
public const int mjVERSION_HEADER = 3006000;
public const int mjVERSION_HEADER = 3007000;
// ------------------------------------Enums------------------------------------