diff options
-rw-r--r-- | .editorconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index b7b590b..94a6d20 100644 --- a/.editorconfig +++ b/.editorconfig @@ -11,5 +11,8 @@ charset = utf-8 [*.{hs,rs,py,sh,nix}] max_line_length = 80 +[*.py] +indent_size = 4 + [Makefile] indent_style = tab |