Update MuJoCo's version number following the 3.3.4 release.

PiperOrigin-RevId: 781596261
Change-Id: Iac050c4b9cb65542b52fa6b8c54ff2537bc6a648
This commit is contained in:
Rishi Krishnan
2025-07-10 10:46:34 -07:00
committed by Copybara-Service
parent 723960a1f3
commit 3c99705f85
16 changed files with 34 additions and 34 deletions
+1 -1
View File
@@ -111,7 +111,7 @@ public const int mjMAXLINEPNT = 1000;
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 = 334;
public const int mjVERSION_HEADER = 335;
// ------------------------------------Enums------------------------------------