beremiz

IDManager: added import/export plus little cosmetic enhancements.

2018-11-21, Edouard Tisserant
decf52efb7f7
IDManager: added import/export plus little cosmetic enhancements.
<xsd:element name="Linux">
<xsd:complexType>
%(toolchain_gcc)s
</xsd:complexType>
</xsd:element>