diff options
author | Ben Sima <ben@bsima.me> | 2019-02-04 11:53:42 -0800 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2019-02-04 11:53:42 -0800 |
commit | 46c5df1f920ae260cdd673f87c4d64170c821170 (patch) | |
tree | 812c0e0ae9f2bdf38b85c0ff20462172bbf31a2f | |
parent | db2e4263fdadb34df34de891450fcebc06c2d294 (diff) |
Add editorconfig
-rw-r--r-- | .editorconfig | 16 |
1 files changed, 16 insertions, 0 deletions
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 |