Add editorconfig file. (#766)

Makes it easy for everyone to use the preferred settings. https://editorconfig.org/
2022-05-18 09:07:38 -04:00
parent 961364cc29
commit 1e2279457e
1 changed files with 8 additions and 0 deletions
--- a/.editorconfig
+++ b/.editorconfig
@@ -0,0 +1,8 @@
+root = true
+
+[*]
+insert_final_newline = true
+
+[*.rs]
+indent_size = 4
+indent_style = space