From 72e42deeb5d5b9cd2765d2ff20a06e708f8efc07 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Sun, 12 Apr 2020 11:47:50 -0700 Subject: Relax indent setting in editorconfig --- .editorconfig | 6 +++--- 1 file 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 -- cgit v1.2.3