From ea2e010d42cd65a16643649f3e0020f490773bcc Mon Sep 17 00:00:00 2001
From: Jelte Fennema <github-tech@jeltef.nl>
Date: Fri, 6 Sep 2019 12:36:25 +0200
Subject: [PATCH] Better editorconfig

---
 .editorconfig | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/.editorconfig b/.editorconfig
index f6bc5f329..21f47648c 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -2,6 +2,13 @@
 root = true
 
 # rules for all files
+# we use tabs with indent size 4
 [*]
-indent_style = tab # we use tabs
-indent_size = 4    # of size four
+indent_style = tab
+indent_size = 4
+tab_width = 4
+
+[*.sql]
+indent_style = space
+indent_size = 4
+tab_width = 4