From 099bca6d406af9c8e12a66b93fcc9a38ff7914f9 Mon Sep 17 00:00:00 2001
From: Ebrahim Byagowi <ebrahim@gnu.org>
Date: Wed, 9 Jan 2019 15:56:32 +0330
Subject: [PATCH] Minor, hack .editorconfig for vscode use

As VSCode and Atom https://github.com/Microsoft/vscode/issues/44438 don't support it
---
 .editorconfig | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.editorconfig b/.editorconfig
index bd981d12d..0c93e6a64 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -7,9 +7,12 @@ end_of_line = lf
 insert_final_newline = true
 
 [*.{c,cc,h,hh}]
-indent_size = 2
-indent_style = space
 tab_width = 8
+indent_style = tab
+# This should be the following but as VSCode and Atom don't support it, disabled for now
+# https://github.com/Microsoft/vscode/issues/44438
+# indent_size = 2
+# indent_style = space
 
 [*.{py,sh}]
 indent_style = tab