targets/Rtai/target_rtai.py
author laurent
Fri, 11 Dec 2009 13:02:30 +0100
changeset 505 7f38c773427b
parent 203 cb9901076a21
permissions -rwxr-xr-x
Adding support for refreshing FileMenu after plugin tree modification
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"