targets/Rtai/target_rtai.py
author laurent
Sat, 12 Dec 2009 20:49:07 +0100
changeset 509 aa5645a25d64
parent 203 cb9901076a21
permissions -rwxr-xr-x
Bug not refreshing FileMenu when saving fixed
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"