beremiz

IDManager : small cosmetic fixes and cleanup.

2018-11-23, Edouard Tisserant
2a70d5240300
IDManager : small cosmetic fixes and cleanup.
<xsd:element name="Linux">
<xsd:complexType>
%(toolchain_gcc)s
</xsd:complexType>
</xsd:element>