targets/Xenomai/target_xenomai.py
author etisserant
Mon, 19 Jan 2009 08:38:33 +0100
changeset 303 453487dba0a6
parent 203 cb9901076a21
permissions -rwxr-xr-x
Added wxInspector feature to play with wxGlade GUI more easily.
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""