beremiz
Clone
Summary
Browse
Changes
Graph
IDE: Fix "Save" toolbar button and file menu entry not appearing when extension makes changes
23 months ago, Edouard Tisserant
87f11a874477
IDE: Fix "Save" toolbar button and file menu entry not appearing when extension makes changes
<xsd:element name="Win32">
<xsd:complexType>
%(toolchain_gcc)s
</xsd:complexType>
</xsd:element>