EditorConfig: set `indent_size = tab`

Despite `indent_size` being set to `tab` by default, it turns out that we set `indent_size` to `2` for `*` at the top of this file. So, for everywhere else, explicitly set `indent_size` to the default (`tab`). This should achieve the goal of my last patch to `.editorconfig`.
pull/1949/head
John D Pell 2021-09-14 23:30:05 -07:00
parent 99eab7a76c
commit 435151819f
1 changed files with 3 additions and 1 deletions

View File

@ -13,9 +13,11 @@ insert_final_newline = true
trim_trailing_whitespace = false trim_trailing_whitespace = false
[.git*] [.git*]
indent_size = tab
indent_style = tab indent_style = tab
[{**.*sh,test/run}] [{**.*sh,test/run}]
indent_size = tab
indent_style = tab indent_style = tab
shell_variant = bash shell_variant = bash