Update MuJoCo to v3.3.8 following the 3.3.7 release.

PiperOrigin-RevId: 819919328
Change-Id: Ib34f959f6f8efd83362d49e784aa8e0594036899
This commit is contained in:
Gabe Oppenheimer
2025-10-15 14:38:15 -07:00
committed by Copybara-Service
parent 8cbfc42767
commit 48f10bfcb6
16 changed files with 34 additions and 34 deletions
+1 -1
View File
@@ -111,7 +111,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 = 337;
public const int mjVERSION_HEADER = 338;
// ------------------------------------Enums------------------------------------