From fbd65287e1d2b27944343d6112f4a58ef535603b 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:18 +0100 Subject: [PATCH] [TASK] Adjust .editorconfig for Makefile indentation (#444) Co-authored-by: Garvin Hicking --- .editorconfig | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.editorconfig b/.editorconfig index 25e24d98..6bf8660c 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