Merge pull request #210 from kevinzakka:version-no

PiperOrigin-RevId: 438310559 Change-Id: I8b7409c513144805d3f5afc0f1c2a23b5d649630
2022-03-30 08:39:09 -07:00
parent 4616529f32 5639ee22fc
commit e1e0d5c435
1 changed files with 2 additions and 0 deletions
@@ -79,3 +79,5 @@ if _MUJOCO_GL not in _MUJOCO_GL_DISABLE:
      from mujoco.egl import GLContext
    else:
      from mujoco.glfw import GLContext
+
+__version__ = mj_versionString()  # pylint: disable=undefined-variable