targets/Rtai/target_rtai.py
author ed
Fri, 04 Jun 2010 17:36:11 +0200
changeset 564 464d470bdbd7
parent 203 cb9901076a21
permissions -rwxr-xr-x
merge
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"