beremiz

Fix bug frame title not refreshed when the plugin attributes are modified

2011-10-14, laurent
ff7f76c936b9
file isExecutable
Fix bug frame title not refreshed when the plugin attributes are modified
class rtai_target(targets.target_gcc):
extensionexe = "exe"
extensiondll = "dll"