|
root = true
|
|
|
|
[*]
|
|
indent_style = space
|
|
indent_size = 4
|
|
end_of_line = lf
|
|
charset = utf-8
|
|
trim_trailing_whitespace = true
|
|
insert_final_newline = true
|
|
|
|
[*.v]
|
|
indent_style = tab
|
|
|
|
[*.md]
|
|
trim_trailing_whitespace = false
|
|
max_line_length = 100
|
|
|
|
[*.{txt,out}]
|
|
insert_final_newline = false
|