diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 00000000000..bfe127253e2 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,12 @@ +# See: https://editorconfig.org +root = true + +[*] +charset = utf-8 + +[*.hs] +indent_style = space +indent_size = 2 + +[Makefile] +indent_style = tab