Merge pull request #10409 from 9999years/editorconfig

Add `.editorconfig`

Merge pull request #10409 from 9999years/editorconfig
c14bcfee · mergify[bot] · GitHub · 26f1cd7a · 7b6fdb3c · c14bcfee
Unverified Commit c14bcfee authored 9 months ago by mergify[bot] Committed by GitHub 9 months ago
--- a/.editorconfig
+++ b/.editorconfig
+# See: https://editorconfig.org
+root = true
+
+[*]
+charset = utf-8
+
+[*.hs]
+indent_style = space
+indent_size = 2
+
+[Makefile]
+indent_style = tab