diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000000..81fe629f83 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,13 @@ +# editorconfig.org + +# top-most EditorConfig file +root = true + +# Default settings: +[*] +indent_style = tabs +indent_size = 4 + +# python: +[*.py] +indent_style = spaces