Bump dev version number to 3.0.1.

PiperOrigin-RevId: 574451745
Change-Id: Iedbbb3304b88876f31a6196d690a1f05c6428e2f
This commit is contained in:
Saran Tunyasuvunakool
2023-10-18 14:01:48 +01:00
parent 3c6b573f78
commit 269d88ad92
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 = 300;
public const int mjVERSION_HEADER = 301;
// ------------------------------------Enums------------------------------------