Bump MuJoCo version to 2.3.2.

PiperOrigin-RevId: 507720557
Change-Id: I7a5b577094ac1a7f468a84c484f62f61dc6b409f
This commit is contained in:
Alessio Quaglino
2023-02-07 02:34:29 -08:00
committed by Copybara-Service
parent 36836d8e42
commit dd632b7ccc
21 changed files with 66 additions and 81 deletions
+1 -1
View File
@@ -101,7 +101,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 = 231;
public const int mjVERSION_HEADER = 232;
// ------------------------------------Enums------------------------------------