Improve flex docs.

Fixes #1141 and #1152. PiperOrigin-RevId: 578855375 Change-Id: I44746c3ae331edcb22b7e16744fb38369039e888
2023-11-02 08:04:36 -07:00
parent e6dc5ed176
commit 7a7cfc0f60
2 changed files with 9 additions and 6 deletions
@@ -1330,6 +1330,8 @@ into the engine in future releases.

 .. code-block:: xml

+   <option timestep=".001"/>
+
   <extension>
      <plugin plugin="mujoco.elasticity.solid"/>
   </extension>