diff --git a/misc/config_tools/schema/types.xsd b/misc/config_tools/schema/types.xsd index 897d03970..35fbe5581 100644 --- a/misc/config_tools/schema/types.xsd +++ b/misc/config_tools/schema/types.xsd @@ -132,7 +132,7 @@ Read more about the available scheduling options in :ref:`cpu_sharing`. - +