Add editorconfig file. (#766)

Makes it easy for everyone to use the preferred settings. https://editorconfig.org/
lettre · May 18, 2022 · 1e22794 · 1e22794
1 parent 961364c
commit 1e22794
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.editorconfig b/.editorconfig
@@ -0,0 +1,8 @@
+root = true
+
+[*]
+insert_final_newline = true
+
+[*.rs]
+indent_size = 4
+indent_style = space