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

Remove "name" attribute from plugin specifiers.

Browse Source 
PiperOrigin-RevId: 499187319
Change-Id: I0755a071eb4eee917fdf32db49a47fd16afa58f9
This commit is contained in:
Yuval Tassa
2023-01-03 05:02:32 -08:00
committed by Copybara-Service
parent 45184bfa55
commit 4bc76c93ae
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/XMLschema.rst
+2 -2
View File
@@ -592,7 +592,7 @@
| | | :class: mjcf-attributes |
| | | |
| | | +-------------------------+-------------------------+-------------------------+ |
| | | | :at:`name` | :at:`plugin` | :at:`instance` | |
| | | | :at:`plugin` | :at:`instance` | | |
| | | +-------------------------+-------------------------+-------------------------+ |
+--------------------------+----+------------------------------------------------------------------------------------+
| |_3|:el:`config` | \* | .. table:: |
@@ -728,7 +728,7 @@
| | | :class: mjcf-attributes |
| | | |
| | | +-------------------------+-------------------------+-------------------------+ |
| | | | :at:`name` | :at:`plugin` | :at:`instance` | |
| | | | :at:`plugin` | :at:`instance` | | |
| | | +-------------------------+-------------------------+-------------------------+ |
+--------------------------+----+------------------------------------------------------------------------------------+
| |_4|:el:`config` | \* | .. table:: |