targets/Linux/XSD
changeset 204 f572ab819769
parent 203 cb9901076a21
child 3732 929276eea252
--- a/targets/Linux/XSD	Wed Aug 20 00:11:40 2008 +0200
+++ b/targets/Linux/XSD	Wed Aug 20 09:37:57 2008 +0200
@@ -1,13 +1,6 @@
 
                   <xsd:element name="Linux">
                     <xsd:complexType>
-                      <xsd:sequence>
-                        <xsd:element name="Connection">
-                          <xsd:complexType>
-                            <xsd:attribute name="URI_location" type="xsd:string" use="optional" default=""/>
-                          </xsd:complexType>
-                        </xsd:element>
-                      </xsd:sequence>
                       %(toolchain_gcc)s
                     </xsd:complexType>
                   </xsd:element>
\ No newline at end of file