2018-08-07 22:44:05 +02:00
|
|
|
root = true
|
2018-07-26 03:40:38 +02:00
|
|
|
|
|
|
|
|
[*]
|
|
|
|
|
indent_style = space
|
2018-08-07 22:44:05 +02:00
|
|
|
indent_size = 2
|
2018-07-26 03:40:38 +02:00
|
|
|
end_of_line = lf
|
|
|
|
|
charset = utf-8
|
|
|
|
|
trim_trailing_whitespace = true
|
2018-08-07 22:44:05 +02:00
|
|
|
insert_final_newline = false
|
