tool: add unscoped_label to xml schema

devel
Alexander Boettcher 5 years ago committed by Christian Helmuth
parent 5e5c705fbc
commit 0ac6f6159e
  1. 1
      tool/run/genode.xsd

@ -16,6 +16,7 @@
<xs:attribute name="label" type="xs:string" />
<xs:attribute name="label_prefix" type="xs:string" />
<xs:attribute name="label_suffix" type="xs:string" />
<xs:attribute name="unscoped_label" type="xs:string" />
</xs:complexType>
<xs:complexType name="template_route">

Loading…
Cancel
Save