From b269c4df616be0ff3f669021726072edf1214c88 Mon Sep 17 00:00:00 2001
From: GeckoEidechse <40122905+GeckoEidechse@users.noreply.github.com>
Date: Wed, 4 Oct 2023 13:57:34 +0200
Subject: [PATCH] Define indent size in editorconfig (#550)

Setting indent size in `.editorconfig` means that things like GitHub web
preview will default to showing tab indent size as 4 spaces.
---
 .editorconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.editorconfig b/.editorconfig
index bc423183..59f4af9f 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -9,3 +9,4 @@ charset = utf-8
 trim_trailing_whitespace = true
 insert_final_newline = true
 indent_style = tab
+indent_size = 4