diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..4e1555d --- /dev/null +++ b/.editorconfig @@ -0,0 +1,22 @@ +# EditorConfig helps developers define and maintain consistent +# coding styles between different editors and IDEs +# editorconfig.org + +root = true + +[*] +charset = utf-8 +end_of_line = lf +insert_final_newline = true +trim_trailing_whitespace = true + +[*.tex] +indent_style = space +indent_size = 4 + +[*.{html,js,css,xml}] +indent_style = tab +indent_size = 4 + +[*.md] +trim_trailing_whitespace = false