targets/Xenomai/XSD
author dporopat <denis.poropat@smarteh.si>
Thu, 19 Apr 2018 09:50:00 +0200
branch#2476
changeset 1991 34a9287b6c7d
parent 615 72bc3e53a1fa
permissions -rwxr-xr-x
#2476 Fix for saving text in URI edit text box. No need to click out of URI edit text box to save edited text.

                  <xsd:element name="Xenomai">
                    <xsd:complexType>
                      %(toolchain_gcc)s
                      <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/>
                    </xsd:complexType>
                  </xsd:element>