diff options
author | Thomas Waldmann <tw@waldmann-edv.de> | 2017-07-02 20:59:40 +0200 |
---|---|---|
committer | Thomas Waldmann <tw@waldmann-edv.de> | 2017-07-02 22:43:16 +0200 |
commit | 8253dd23da8106cd723ca5c0f9ed14c11a507a64 (patch) | |
tree | 870ccfee8be88836f491e63c3febd51bb3e6021d /.editorconfig | |
parent | c624e715ad5fdd9c05ee4050af1f2fbb93e57331 (diff) |
add a basic .editorconfig, fixes #2734
Diffstat (limited to '.editorconfig')
-rw-r--r-- | .editorconfig | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 000000000..81d95c439 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,11 @@ +# EditorConfig is awesome: http://EditorConfig.org + +root = true + +[*] +end_of_line = lf +charset = utf-8 +indent_style = space +indent_size = 4 +insert_final_newline = true +trim_trailing_whitespace = true |