From 53f0f4b70e4639b3edf611502ef09fc2a9af77c0 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Sun, 24 Feb 2019 12:35:46 -0800 Subject: Update docs/formatting --- .editorconfig | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to '.editorconfig') 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] -- cgit v1.2.3