From 46c5df1f920ae260cdd673f87c4d64170c821170 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Mon, 4 Feb 2019 11:53:42 -0800 Subject: Add editorconfig --- .editorconfig | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 .editorconfig (limited to '.editorconfig') diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..b306236 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,16 @@ +root = true + +[*] +end_of_line = lf +insert_final_newline = true +indent_style = space +indent_size = 4 +trim_trailing_whitespace = true +insert_final_newline = true +charset = utf-8 + +[*.{hs,py}] +max_line_length = 80 + +[Makefile] +indent_style = tab -- cgit v1.2.3