Updating Mujoco Release version number to v3.1.3

PiperOrigin-RevId: 604459311
Change-Id: I766f704c28740cf751cb935bb48fb6954fccf024
This commit is contained in:
Meghha Dhoke
2024-02-05 15:58:30 -08:00
committed by Copybara-Service
parent f75923a48d
commit f763254a00
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 = 312;
public const int mjVERSION_HEADER = 313;
// ------------------------------------Enums------------------------------------