From 1e2279457edbadcff4a3e2fc304af35d12e4c257 Mon Sep 17 00:00:00 2001 From: Kevin Cox Date: Wed, 18 May 2022 09:07:38 -0400 Subject: [PATCH] Add editorconfig file. (#766) Makes it easy for everyone to use the preferred settings. https://editorconfig.org/ --- .editorconfig | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 .editorconfig diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 000000000..730edaf7f --- /dev/null +++ b/.editorconfig @@ -0,0 +1,8 @@ +root = true + +[*] +insert_final_newline = true + +[*.rs] +indent_size = 4 +indent_style = space