2018-08-22 22:19:55 -07:00
|
|
|
# editorconfig.org
|
|
|
|
|
|
|
|
|
|
# top-most EditorConfig file
|
|
|
|
|
root = true
|
|
|
|
|
|
|
|
|
|
# Default settings:
|
|
|
|
|
# Use 4 spaces as indentation
|
|
|
|
|
[*]
|
|
|
|
|
indent_style = space
|
|
|
|
|
indent_size = 4
|
2019-01-16 22:02:42 +01:00
|
|
|
insert_final_newline = true
|
|
|
|
|
trim_trailing_whitespace = true
|
|
|
|
|
|
2019-01-20 17:51:30 +01:00
|
|
|
[imstb_*]
|
|
|
|
|
indent_size = 3
|
|
|
|
|
trim_trailing_whitespace = false
|
|
|
|
|
|
2019-01-16 22:02:42 +01:00
|
|
|
[Makefile]
|
|
|
|
|
indent_style = tab
|
|
|
|
|
indent_size = 4
|
