Re: #9794: inset-modify tabular commands are incorrectly disabled

[Georg Baum]

Guillaume Munch wrote:

> So I can chmod +x all the scripts?

This cannot harm, so +1 from me (for every script in development/tools/).


Georg