beremiz

remove useless code

2018-07-04, Andrey Skvortsov
02f03bd7639e
file isExecutable
remove useless code

1. hotkey is already defined in menu string
2. remove duplicated code
<xsd:element name="Xenomai">
<xsd:complexType>
%(toolchain_gcc)s
<xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/>
</xsd:complexType>
</xsd:element>