diff --git a/misc/config_tools/schema/types.xsd b/misc/config_tools/schema/types.xsd index 823009d0c..e3920d4f5 100644 --- a/misc/config_tools/schema/types.xsd +++ b/misc/config_tools/schema/types.xsd @@ -130,7 +130,7 @@ Read more about the available scheduling options in :ref:`cpu_sharing`. - +