From 7fcc2a3b9cdfc7f2c494e964faa2eff0cd501aca Mon Sep 17 00:00:00 2001 From: Andre Meyering Date: Mon, 24 Jul 2017 15:00:12 +0200 Subject: [PATCH] =?UTF-8?q?[Config]=20Editorconfig=20hinzuf=C3=BCgen?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Eine Editorconfig Datei ist dazu da, den Stil zu vereinheitlichen, den verschiedenen Editoren benutzen. --- .editorconfig | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 .editorconfig 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