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

Rename <required> tag to <plugin>.

Browse Source 
PiperOrigin-RevId: 509237786
Change-Id: I35e812830b479004ac5025cbd9477888f51fb43e
This commit is contained in:
Saran Tunyasuvunakool
2023-02-13 08:41:06 -08:00
committed by Copybara-Service
parent 239e00e3b1
commit db28c31f05
12 changed files with 35 additions and 35 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/XMLschema.rst
+1 -1
View File
@@ -446,7 +446,7 @@
| |_|:el:`extension` | \* | *no attribute* |
| | | |
+--------------------------+----+------------------------------------------------------------------------------------+
| |_2|:el:`required` | \* | .. table:: |
| |_2|:el:`plugin` | \* | .. table:: |
| | | :class: mjcf-attributes |
| | | |
| | | +-------------------------+-------------------------+-------------------------+ |