2023-03-03 09:06:14 -05:00
|
|
|
# EditorConfig is awesome: https://EditorConfig.org
|
|
|
|
|
|
|
|
|
|
# top-most EditorConfig file
|
|
|
|
|
root = true
|
|
|
|
|
|
|
|
|
|
[*]
|
|
|
|
|
indent_style = space
|
|
|
|
|
indent_size = 2
|
|
|
|
|
end_of_line = lf
|
|
|
|
|
charset = utf-8
|
2023-03-06 14:36:06 -05:00
|
|
|
trim_trailing_whitespace = true
|
|
|
|
|
insert_final_newline = true
|
|
|
|
|
|
|
|
|
|
[*.rs]
|
|
|
|
|
indent_size = 4
|
