targets/Rtai/target_rtai.py
author edouard
Mon, 07 Dec 2009 14:00:33 +0100
changeset 471 98a39261db9e
parent 203 cb9901076a21
permissions -rwxr-xr-x
merge
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"