Update MuJoCo to v3.1.0 for release.

PiperOrigin-RevId: 590256664
Change-Id: I42ad788d609dde0ff00b13a2e456b2a8d3d9e952
This commit is contained in:
Google DeepMind
2023-12-12 10:36:48 -08:00
committed by Copybara-Service
parent 53883ce86a
commit fcebdf4d09
16 changed files with 34 additions and 34 deletions
+1 -1
View File
@@ -108,7 +108,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 = 302;
public const int mjVERSION_HEADER = 310;
// ------------------------------------Enums------------------------------------