Update unreleased MuJoCo version from 3.4.1 to 3.5.0.

PiperOrigin-RevId: 868169291
Change-Id: I8041842811f5f664c80116993315f50d549b5575
This commit is contained in:
Yuval Tassa
2026-02-10 08:51:12 -08:00
committed by Copybara-Service
parent e16ee4fcb4
commit 4fa062c7e5
16 changed files with 34 additions and 34 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 = 341;
public const int mjVERSION_HEADER = 350;
// ------------------------------------Enums------------------------------------