From 7b24c75152f3a6c8d75b0091f896b01bdcd732a7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mikolai=20G=C3=BCtschow?= <mikolai.guetschow@tu-dresden.de>
Date: Thu, 30 Oct 2025 09:49:48 +0100
Subject: [PATCH] .editorconfig: remove wrong key tab_size

according to https://editorconfig.org/#supported-properties it should be `tab_width`, but it anyhow defaults to the value of `indent_size`
---
 .editorconfig | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.editorconfig b/.editorconfig
index 49552eb0be..d6da3dbed5 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -11,7 +11,6 @@ insert_final_newline = true
 [{Makefile*,*.mk}]
 indent_style = tab
 indent_size = 2
-tab_size = 2
 trim_trailing_whitespace = true
 insert_final_newline = true