From 0a33c9ebf515f610358cb20fe160c23b42e4647f Mon Sep 17 00:00:00 2001
From: Alexander Medvednikov <alexander@medvednikov.com>
Date: Sat, 11 Jan 2020 13:23:47 +0100
Subject: [PATCH] .editorconfig: indent_size = 4

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

diff --git a/.editorconfig b/.editorconfig
index b61d0c3cf4..db26094387 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -10,6 +10,7 @@ insert_final_newline = true
 # Matches multiple files with brace expansion notation
 [*.v]
 indent_style = tab
+indent_size = 4
 
 [Makefile]
 indent_style = tab