Revision 3a8ba8a902731ee328dee586f5a2984e9577e25b authored by Lukas Brunner on 20 April 2021, 14:22:49 UTC, committed by Lukas Brunner on 20 April 2021, 14:22:49 UTC
1 parent 2772b6f
.editorconfig
# EditorConfig is awesome: http://EditorConfig.org
# top-most EditorConfig file
root = true
# Unix-style newlines with a newline ending every file
[*]
end_of_line = lf
insert_final_newline = true
trim_trailing_whitespace = true
# Set default charset
charset = utf-8
# Matches multiple files with brace expansion notation
# 4 space indentation
[*.{py,java,r,R}]
indent_size = 4
# 3 space indentation
[*.{rst}]
indent_size = 3
# 2 space indentation
[*.{js,json,yml,html,xml,ncl}]
indent_size = 2
[*.{md,Rmd}]
trim_trailing_whitespace = false
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...