diff options
author | Ben Sima <ben@bsima.me> | 2019-02-24 12:35:46 -0800 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2019-02-24 12:35:46 -0800 |
commit | 53f0f4b70e4639b3edf611502ef09fc2a9af77c0 (patch) | |
tree | a519aecb69f3fcca5015127141e7ffddb17831e2 /.editorconfig | |
parent | 00bc4bc59d64bbe62b57113e58f9ff8cf48003cc (diff) |
Update docs/formatting
Diffstat (limited to '.editorconfig')
-rw-r--r-- | .editorconfig | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.editorconfig b/.editorconfig index b306236..0a3faa2 100644 --- a/.editorconfig +++ b/.editorconfig @@ -6,10 +6,9 @@ insert_final_newline = true indent_style = space indent_size = 4 trim_trailing_whitespace = true -insert_final_newline = true charset = utf-8 -[*.{hs,py}] +[*.{hs,rs,py,sh,nix}] max_line_length = 80 [Makefile] |