targets/Rtai/target_rtai.py
author laurent
Wed, 16 Dec 2009 15:21:17 +0100
changeset 534 80f05b17de1e
parent 203 cb9901076a21
permissions -rwxr-xr-x
Bug on FileMenu not refreshed when modifications fixed
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"