diff options
author | Drew DeVault <sir@cmpwn.com> | 2019-01-25 08:22:27 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-25 08:22:27 -0500 |
commit | 209210d30780ec64995594b77fde3d718b655542 (patch) | |
tree | 9f9fbc1ae1467feb646761bf6c5eadb78fb835b9 | |
parent | 460a630a43c3aa914a84e2a2a0f879f8042d6c7f (diff) | |
parent | 42b19dcf91124520197589401e5d7ad51ed8de36 (diff) |
Merge pull request #1498 from emersion/editorconfig-indent-size
Set .editorconfig ident_size
-rw-r--r-- | .editorconfig | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.editorconfig b/.editorconfig index c74fecda..f392d812 100644 --- a/.editorconfig +++ b/.editorconfig @@ -4,8 +4,9 @@ root = true end_of_line = lf insert_final_newline = true charset = utf-8 -indent_style = tab trim_trailing_whitespace = true +indent_style = tab +indent_size = 4 [*.xml] indent_style = space |