targets/Rtai/__init__.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
from target_rtai import *