diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 00000000..07223464 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,19 @@ +# Editorconfig, a commonly used configuration file for editors. +# See https://editorconfig.org/ for details and syntax. +root = true + +# Unix-style newlines with a newline ending every file +[*] +end_of_line = lf +insert_final_newline = true +charset = utf-8 + +# 4 space indentation +[*.py] +indent_style = space +indent_size = 4 +trim_trailing_whitespace = true + +# Tab indentation (no size specified) +[Makefile] +indent_style = tab