beremiz

merge

2009-12-07, edouard
98a39261db9e
file isExecutable
merge
from target_rtai import *