targets/Xenomai/target_xenomai.py
author lbessard
Tue, 20 Jan 2009 17:22:16 +0100
changeset 313 ef0b303d9535
parent 203 cb9901076a21
permissions -rwxr-xr-x
Bug when try to launch wxGlade on Windows fixed
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""