beremiz

SVGHMI: explicit handling of undefined maximum widget update frequency
svghmi
2020-05-13, Edouard Tisserant
5ad82541b46e
SVGHMI: explicit handling of undefined maximum widget update frequency
<xsd:element name="Linux">
<xsd:complexType>
%(toolchain_gcc)s
</xsd:complexType>
</xsd:element>