chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Bump dev version number to 2.3.8.

Browse Source 
PiperOrigin-RevId: 549580971
Change-Id: If8be1910f0196754ce8abb8d91fe604e789ecec8
This commit is contained in:
Saran Tunyasuvunakool
2023-07-20 03:27:01 -07:00
committed by Copybara-Service
parent c9246e1f50
commit eaf78b798b
15 changed files with 28 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/APIreference/APIglobals.rst
+1 -1
View File
@@ -512,7 +512,7 @@ table below. Their names are in the format ``mjKEY_XXX``. They correspond to GLF
- Maximum number of UI rectangles.
Defined in `mjui.h <https://github.com/deepmind/mujoco/blob/main/include/mujoco/mjui.h>`_.
* - ``mjVERSION_HEADER``
- 237
- 238
- The version of the MuJoCo headers; changes with every release. This is an integer equal to 100x the software
version, so 210 corresponds to version 2.1. Defined in mujoco.h. The API function :ref:`mj_version` returns a
number with the same meaning but for the compiled library.