Update MuJoCo version from 3.5.0 to 3.5.1 following the 3.5.0 release

PiperOrigin-RevId: 869654894
Change-Id: I9cacaf4cbb70ad17faa24c3c30ec38ffe91b5deb
This commit is contained in:
Michael Moss
2026-02-13 03:53:19 -08:00
committed by Copybara-Service
parent 496f6b47fc
commit 42958aab81
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 = 3005000;
public const int mjVERSION_HEADER = 3005001;
// ------------------------------------Enums------------------------------------