beremiz

Bug not refreshing FileMenu when saving fixed

2009-12-12, laurent
aa5645a25d64
file isExecutable
Bug not refreshing FileMenu when saving fixed
from target_rtai import *