2017-04-12 22:11:59 +01:00
|
|
|
root = true
|
|
|
|
|
|
|
|
[*]
|
2018-03-15 11:07:22 +00:00
|
|
|
charset=utf-8
|
|
|
|
end_of_line=lf
|
|
|
|
insert_final_newline=false
|
|
|
|
indent_style=space
|
|
|
|
indent_size=2
|
|
|
|
max_line_length = 140
|
|
|
|
wrap_width = 140
|
2017-04-12 22:11:59 +01:00
|
|
|
insert_final_newline = true
|
2018-03-15 11:07:22 +00:00
|
|
|
trim_trailing_whitespace = true
|