From db28c31f05b00f933e581defa1cd8d328484cca2 Mon Sep 17 00:00:00 2001 From: Saran Tunyasuvunakool Date: Mon, 13 Feb 2023 08:41:06 -0800 Subject: [PATCH] Rename `` tag to ``. PiperOrigin-RevId: 509237786 Change-Id: I35e812830b479004ac5025cbd9477888f51fb43e --- doc/XMLschema.rst | 2 +- model/plugin/belt.xml | 4 ++-- model/plugin/cable.xml | 2 +- model/plugin/coil.xml | 4 ++-- model/plugin/floppy.xml | 2 +- model/plugin/jelly.xml | 2 +- model/plugin/press.xml | 2 +- python/mujoco/bindings_test.py | 2 +- src/xml/xml_native_reader.cc | 6 +++--- src/xml/xml_native_writer.cc | 18 +++++++++--------- test/engine/engine_plugin_test.cc | 10 +++++----- test/plugin/elasticity/elasticity_test.cc | 16 ++++++++-------- 12 files changed, 35 insertions(+), 35 deletions(-) diff --git a/doc/XMLschema.rst b/doc/XMLschema.rst index 11cdb6b4..ec61223a 100644 --- a/doc/XMLschema.rst +++ b/doc/XMLschema.rst @@ -446,7 +446,7 @@ | |_|:el:`extension` | \* | *no attribute* | | | | | +--------------------------+----+------------------------------------------------------------------------------------+ -| |_2|:el:`required` | \* | .. table:: | +| |_2|:el:`plugin` | \* | .. table:: | | | | :class: mjcf-attributes | | | | | | | | +-------------------------+-------------------------+-------------------------+ | diff --git a/model/plugin/belt.xml b/model/plugin/belt.xml index cdb4d181..e1f0db65 100644 --- a/model/plugin/belt.xml +++ b/model/plugin/belt.xml @@ -17,7 +17,7 @@ - + @@ -74,4 +74,4 @@ - \ No newline at end of file + diff --git a/model/plugin/cable.xml b/model/plugin/cable.xml index 4d1337ff..2db16b57 100644 --- a/model/plugin/cable.xml +++ b/model/plugin/cable.xml @@ -17,7 +17,7 @@ - + diff --git a/model/plugin/coil.xml b/model/plugin/coil.xml index 2709cc9a..dff6464f 100644 --- a/model/plugin/coil.xml +++ b/model/plugin/coil.xml @@ -17,7 +17,7 @@ - + @@ -103,4 +103,4 @@ - \ No newline at end of file + diff --git a/model/plugin/floppy.xml b/model/plugin/floppy.xml index 748b19a9..5819451f 100644 --- a/model/plugin/floppy.xml +++ b/model/plugin/floppy.xml @@ -17,7 +17,7 @@ - + diff --git a/model/plugin/jelly.xml b/model/plugin/jelly.xml index be583020..7ee3cb04 100644 --- a/model/plugin/jelly.xml +++ b/model/plugin/jelly.xml @@ -17,7 +17,7 @@ - +