--- a/.editorconfig Wed Jul 12 22:51:37 2023 +0200 +++ b/.editorconfig Sat Jul 15 10:22:37 2023 +0200 @@ -1,3 +1,5 @@ +# https://editorconfig.org/ + root = true [*]