Bump dev version number to 3.0.2.

PiperOrigin-RevId: 582773849
Change-Id: I07a70911578fabb556eec1a4d8aa6fcb6557513f
This commit is contained in:
Baruch Tabanpour
2023-11-15 12:50:18 -08:00
committed by Copybara-Service
parent 8d5966eec9
commit 1554048856
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 = 301;
public const int mjVERSION_HEADER = 302;
// ------------------------------------Enums------------------------------------