From f4d51c6bac30aa124c3710d49a7d5ff875f06d51 Mon Sep 17 00:00:00 2001
From: Chris Foote <cafoote@yahoo.com>
Date: Mon, 29 Jan 2024 23:29:19 +1300
Subject: [PATCH] Update the .editorconfig file to match the current
 indent_size.

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

diff --git a/.editorconfig b/.editorconfig
index f5250aafb..77a21bfce 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -8,4 +8,4 @@ charset = utf-8
 
 [*.{html,java,jelly,xml}]
 indent_style = space
-indent_size = 2
+indent_size = 4