From f5d1be7ec2436cfa9d45dfc2bb72fb060eae650f Mon Sep 17 00:00:00 2001
From: Daniel Shahaf <d.s@daniel.shahaf.name>
Date: Sun, 12 Apr 2020 02:59:39 +0000
Subject: [PATCH] editorconfig: Fix Makefile settings

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

diff --git a/.editorconfig b/.editorconfig
index 1d2e96e..cda541d 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -10,5 +10,6 @@ indent_style = space
 
 [Makefile]
 tab_width   = 8
+indent_size = 8
 indent_style = tab