Update the MuJoCo version for the 3.2.5 release following the 3.2.4 release.

PiperOrigin-RevId: 686641388 Change-Id: I68d5183c9d369b7617f692ab97c12c53f0d2504c
2024-10-16 14:23:02 -07:00
parent 8740533644
commit ffdb800e45
16 changed files with 34 additions and 34 deletions
@@ -517,7 +517,7 @@ shown in the table below. Their names are in the format ``mjKEY_XXX``. They corr
     - Maximum number of UI rectangles.
       Defined in `mjui.h <https://github.com/google-deepmind/mujoco/blob/main/include/mujoco/mjui.h>`_.
   * - ``mjVERSION_HEADER``
-     - 324
+     - 325
     - 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.