summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2019-02-04 11:53:42 -0800
committerBen Sima <ben@bsima.me>2019-02-04 11:53:42 -0800
commit46c5df1f920ae260cdd673f87c4d64170c821170 (patch)
tree812c0e0ae9f2bdf38b85c0ff20462172bbf31a2f
parentdb2e4263fdadb34df34de891450fcebc06c2d294 (diff)
Add editorconfig
-rw-r--r--.editorconfig16
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