diff options
author | Ebrahim Byagowi <ebrahim@gnu.org> | 2019-03-02 03:24:49 +0330 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-02 03:24:49 +0330 |
commit | 8a25868e6a41a3d82782aadb3c7b744ad87d20ff (patch) | |
tree | 2903a2e43fe86b67c7d2f40055b943681638da3e | |
parent | 4f37ab63de9705d7bf74ee75364747e41b7c06a1 (diff) |
Minor, remove .editorconfig hack
As vscode is going to support it soon
-rw-r--r-- | .editorconfig | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/.editorconfig b/.editorconfig index 0c93e6a6..49914735 100644 --- a/.editorconfig +++ b/.editorconfig @@ -8,11 +8,8 @@ insert_final_newline = true [*.{c,cc,h,hh}] 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 +indent_size = 2 +indent_style = space [*.{py,sh}] indent_style = tab |