2019-09-03 00:07:06 +00:00
|
|
|
root = true
|
|
|
|
|
[*]
|
|
|
|
|
indent_style = space
|
|
|
|
|
trim_trailing_whitespace = true
|
|
|
|
|
insert_final_newline = true
|
|
|
|
|
charset = utf-8
|
|
|
|
|
|
2020-10-28 01:52:54 +01:00
|
|
|
[*.{xml,ui,ui.in,build,sql}]
|
2019-09-03 00:07:06 +00:00
|
|
|
indent_size = 2
|
|
|
|
|
|
|
|
|
|
[*.{json,py,rs}]
|
|
|
|
|
indent_size = 4
|
|
|
|
|
|
|
|
|
|
|
