diff options
author | eylles <ed.ylles1997@gmail.com> | 2021-09-13 06:00:02 -0600 |
---|---|---|
committer | Berke Kocaoğlu <berke.kocaoglu@metu.edu.tr> | 2021-09-16 22:55:31 +0300 |
commit | cbec6991c21771f75dfa81b14f31bf17f634bfed (patch) | |
tree | 0fceffe1250f36018a3892f31625721018ed5585 | |
parent | 68083784b6f98eb31ab338136523f685cb7ec83d (diff) |
add an editorconfig file, closes #25
-rw-r--r-- | .editorconfig | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..72b2e5e --- /dev/null +++ b/.editorconfig @@ -0,0 +1,28 @@ +# EditorConfig + +# apply to all files +[*] + +# top-most EditorConfig file +root = true + +# Set default charset +charset = utf-8 + +# Indentation +# indent with tabs +indent_style = tab +# same tab size as kernel style +indent_size = 8 + +# no trailing spaces +trim_trailing_whitespace = true + +# line lenght, same as kernel stipulated +max_line_length = 100 + +# all files have a final line +insert_final_newline = true + +# end of line +end_of_line = lf |