targets/Rtai/target_rtai.py
author laurent
Fri, 14 Oct 2011 23:54:00 +0200
changeset 627 ff7f76c936b9
parent 203 cb9901076a21
permissions -rwxr-xr-x
Fix bug frame title not refreshed when the plugin attributes are modified
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"