diff options
| author | Ben Sima <ben@bsima.me> | 2020-04-12 11:47:50 -0700 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2020-04-12 11:47:50 -0700 |
| commit | 72e42deeb5d5b9cd2765d2ff20a06e708f8efc07 (patch) | |
| tree | 325325c6429bfd17a5e7ea2550c6d56ab6e55c88 | |
| parent | a14fc62ffc49633587052348087d624c82a072dc (diff) | |
Relax indent setting in editorconfig
| -rw-r--r-- | .editorconfig | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.editorconfig b/.editorconfig index 94a6d20..9fe9e70 100644 --- a/.editorconfig +++ b/.editorconfig @@ -4,13 +4,13 @@ root = true end_of_line = lf insert_final_newline = true indent_style = space -indent_size = 2 trim_trailing_whitespace = true charset = utf-8 - -[*.{hs,rs,py,sh,nix}] max_line_length = 80 +[*.{hs,nix}] +indent_size = 2 + [*.py] indent_size = 4 |