Update MuJoCo version to 3.11.1 following the 3.11.0 release

PiperOrigin-RevId: 954833728
Change-Id: I1c006cdd72072c6821d7b3c28d8ac320de19b8c5
This commit is contained in:
Michael Moss
2026-07-27 14:34:43 -07:00
committed by Copybara-Service
parent b85fdca54f
commit 1db801460b
17 changed files with 38 additions and 38 deletions
+1 -1
View File
@@ -117,7 +117,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 = 3011000;
public const int mjVERSION_HEADER = 3011001;
// ------------------------------------Enums------------------------------------