From 2eba9d9dc45a03cd761546f3497b58661562462d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ji=C5=99=C3=AD=20Techet?= Date: Sat, 2 Nov 2024 19:41:13 +0100 Subject: [PATCH] Add .editorconfig so github uses the correct tab size (4) --- .editorconfig | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 .editorconfig diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 000000000..6e7ff28ed --- /dev/null +++ b/.editorconfig @@ -0,0 +1,12 @@ +root = true + +[*] +indent_size = 4 +end_of_line = lf + +[*.{c,h,cxx,am,m4}] +indent_style = tab + +[*.{py}] +indent_style = space +