diff --git a/tool/run/genode.xsd b/tool/run/genode.xsd index 2154f0131..9c1a5c6c8 100644 --- a/tool/run/genode.xsd +++ b/tool/run/genode.xsd @@ -16,6 +16,7 @@ +