Merge pull request #1752 from wavexx/introduce_editorconfig

Introduce an editorconfig file
2019-11-04 17:33:50 +01:00 · 2019-11-04 17:33:50 +01:00 · 1a0c248599
commit 1a0c248599
parent e56cb14bb9 ce25bb8532
1 changed files with 14 additions and 0 deletions
--- a/.editorconfig
+++ b/.editorconfig
@ -0,0 +1,14 @@
+#-*-mode:conf-*-
+# editorconfig file (see EditorConfig.org)
+
+root                        = true
+
+[*]
+end_of_line                 = lf
+insert_final_newline        = true
+charset                     = utf-8
+trim_trailing_whitespace    = true
+indent_style                = space
+indent_size                 = 4
+tab_width                   = 4
+max_line_length             = 100