On 4/17/26 22:10, Jelte Fennema-Nio wrote:
> I think in any case that script should be update to add some "DO NOT
> MODIFY MANUALLY! GENERATED USING src/tools/generate_editorconfig.py "
> header to the resulting editorconfig file. Because I agree that's not
> clear at the moment.
You mean like this? I think the comment should point them towards the
script which generated it.
--
Andreas Karlsson
Percona
