Update MuJoCo's version number following the 3.3.5 release.

PiperOrigin-RevId: 792806341
Change-Id: Ic68ecceacc48ddbd6b0c741ae8f0791551e1b4dd
This commit is contained in:
Rishi Krishnan
2025-08-08 16:44:24 -07:00
committed by Copybara-Service
parent 3152458a6b
commit ed3ff15870
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 = 335;
public const int mjVERSION_HEADER = 336;
// ------------------------------------Enums------------------------------------