targets/Win32/XSD
author Edouard Tisserant
Wed, 14 Nov 2018 11:32:08 +0100
changeset 2334 d1470c052662
parent 620 f2c6bb695cf5
permissions -rw-r--r--
Added early implementation of IDManager.py. For now only used to select ID in URIEditor

                  <xsd:element name="Win32">
                    <xsd:complexType>
                      %(toolchain_gcc)s
                    </xsd:complexType>
                  </xsd:element>