beremiz

Adding support for refreshing FileMenu after plugin tree modification

2009-12-11, laurent
7f38c773427b
file isExecutable
Adding support for refreshing FileMenu after plugin tree modification
from target_rtai import *