commit 9e7b0bcf51924716461f838a33a9508b718934b5
parent ff00d583af8f1ce21a508d701d09c54d2621b16e
Author: Theo Fabi <92238946+theofabilous@users.noreply.github.com>
Date: Sun, 24 Nov 2024 23:04:27 -0500
fix(editorconfig): fix indent style for `local.mk` (#31342)
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.editorconfig b/.editorconfig
@@ -13,6 +13,6 @@ max_line_length = 100
[*.py]
indent_size = 4
-[{Makefile,**/Makefile,runtime/doc/*.txt}]
+[{Makefile,**/Makefile,*.mk,runtime/doc/*.txt}]
indent_style = tab
indent_size = 8