beremiz

Revert unwanted changes potentially breaking wxGlade support.

2024-06-04, Edouard Tisserant
d5edde0c145b
Revert unwanted changes potentially breaking wxGlade support.
Partly revert 34d4c77ccb1bcb14601ab347ec6080466b7e143d. Skips evaluator related changes that was included by mistake.
<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>