Update MuJoCo version from 3.4.0 to 3.4.1 following the 3.4.0 release

PiperOrigin-RevId: 840914696
Change-Id: Iffabc70dd174384ba1c535cafcd34982ff8e5712
This commit is contained in:
Gabe Oppenheimer
2025-12-05 16:14:24 -08:00
committed by Copybara-Service
parent e55fff5dea
commit 96e376451c
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 = 340;
public const int mjVERSION_HEADER = 341;
// ------------------------------------Enums------------------------------------