From 4bc2a639227a256dba0d590c2ca95d0f6c1a7cd2 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Tue, 12 Mar 2024 16:02:11 +0100 Subject: [PATCH] [TASK] Adjust .editorconfig for Makefile indentation (#443) Co-authored-by: Garvin Hicking --- .editorconfig | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.editorconfig b/.editorconfig index ccf65af7..1f51cdae 100644 --- a/.editorconfig +++ b/.editorconfig @@ -23,3 +23,7 @@ trim_trailing_whitespace = true indent_style = space indent_size = 4 max_line_length = 80 + +[Makefile] +# Use tabs for indentation (Makefiles require tabs) +indent_style = tab