On Fri, 9 Aug 2024 at 16:09, Jelte Fennema-Nio <postg...@jeltef.nl> wrote: > That's there so that the generated .editorconfig file the correct > indent_size. I guess another approach would be to change the > generate_editorconfig.py script to include hardcoded values for these > 4 filetypes.
Okay, I've done this now. Any chance this can "just" be committed now? Having to remove trailing spaces by hand whenever I edit sgml files is a continuous annoyance to me when working on other patches.
v8-0001-Add-script-to-keep-.editorconfig-in-sync-with-.gi.patch
Description: Binary data