targets/Rtai/target_rtai.py
author laurent
Tue, 08 Nov 2011 22:04:07 +0100
changeset 631 9a9636e16d15
parent 203 cb9901076a21
permissions -rwxr-xr-x
Fixing bug in project modified state not well reported when modifications made in plugins informations
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"