From b653f4b800ae6f9f7ee7c0407573da31fee20807 Mon Sep 17 00:00:00 2001
From: Lars Eggert <lars@eggert.org>
Date: Thu, 14 Apr 2022 20:37:04 +0200
Subject: [PATCH] fix: indent_style = space (#3824)

---
 .editorconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.editorconfig b/.editorconfig
index 423b09c43..c11afeab1 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -10,6 +10,7 @@ root = true
 
 [*]
 indent_size = 4
+indent_style = space
 charset = utf-8
 trim_trailing_whitespace = false
 insert_final_newline = true