Update MuJoCo to version 2.1.3.

PiperOrigin-RevId: 436727767
Change-Id: I9b1b0084021e83f790efa46eab9a980cbde4953f
This commit is contained in:
Nimrod Gileadi
2022-03-23 07:00:52 -07:00
committed by Saran Tunyasuvunakool
parent d1db62c6bd
commit df048e54c0
9 changed files with 41 additions and 19 deletions
+1 -1
View File
@@ -83,7 +83,7 @@ public const int mjMAXOVERLAY = 500;
public const int mjMAXLINE = 100;
public const int mjMAXLINEPNT = 1000;
public const int mjMAXPLANEGRID = 200;
public const int mjVERSION_HEADER = 212;
public const int mjVERSION_HEADER = 213;
// ------------------------------------Enums------------------------------------