2016-02-23 10:03:27 +01:00
|
|
|
root = true
|
|
|
|
|
|
|
|
[*]
|
|
|
|
indent_style = space
|
|
|
|
indent_size = 2
|
|
|
|
end_of_line = lf
|
|
|
|
insert_final_newline = true
|
2018-09-30 17:02:19 +02:00
|
|
|
charset = utf-8
|
2016-02-23 10:03:27 +01:00
|
|
|
|
2018-08-23 19:47:12 +02:00
|
|
|
[{Makefile,**/Makefile,runtime/doc/*.txt}]
|
2017-10-04 09:18:03 +02:00
|
|
|
indent_style = tab
|
|
|
|
indent_size = 8
|