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.

Attachment: v8-0001-Add-script-to-keep-.editorconfig-in-sync-with-.gi.patch
Description: Binary data

Reply via email to