targets/Rtai/target_rtai.py
author beremiz
Wed, 12 Aug 2009 15:21:00 +0200
branchcherry-pick
changeset 671 6de6d6958efd
parent 203 cb9901076a21
permissions -rwxr-xr-x
forgoten branch now closed
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"