diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 000000000..f6bc5f329 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,7 @@ +# top-most EditorConfig file +root = true + +# rules for all files +[*] +indent_style = tab # we use tabs +indent_size = 4 # of size four