From efbbbe45651e2ab8b694743a1885bef59cbb14a5 Mon Sep 17 00:00:00 2001
From: SkyratBot <59378654+SkyratBot@users.noreply.github.com>
Date: Mon, 9 Jan 2023 07:57:34 +0100
Subject: [PATCH] [MIRROR] Remove tab indent size from editorconfig [MDB
 IGNORE] (#18589)

* Remove tab indent size from editorconfig (#72508)

We don't allow tab alignment anyway so this serves literally zero
purpose. It's not our place to set this kind of requirement in
editorconfig. It doesn't even match GitHub's tab size.

* Remove tab indent size from editorconfig

Co-authored-by: Mothblocks <35135081+Mothblocks@users.noreply.github.com>
---
 .editorconfig | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.editorconfig b/.editorconfig
index 76242b39e59..72e85029ef6 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -3,7 +3,6 @@ root = true
 
 [*]
 indent_style = tab
-indent_size = 4
 end_of_line = lf
 charset = utf-8
 trim_trailing_whitespace = true