targets/Rtai/XSD
author laurent
Wed, 16 Nov 2011 23:30:17 +0100
changeset 637 c19557ec2c5a
parent 204 f572ab819769
permissions -rwxr-xr-x
Fixing bug preventing copy/cut/paste using shortcuts on CFileEditor text editors

                  <xsd:element name="Rtai">
                    <xsd:complexType>
                      %(toolchain_gcc)s
                      <xsd:attribute name="rtai_config" type="xsd:string" use="optional" default="/usr/realtime/"/>
                    </xsd:complexType>
                  </xsd:element>