targets/Rtai/target_rtai.py
author Edouard Tisserant
Mon, 28 Mar 2011 11:42:00 +0200
changeset 587 c6354f7fe26e
parent 203 cb9901076a21
permissions -rwxr-xr-x
Restore RefreshFileMenu in CFileEditor
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"