2023-04-11 21:45:44 +02:00
|
|
|
# https://EditorConfig.org
|
|
|
|
|
|
|
|
# Top-most EditorConfig file
|
|
|
|
root = true
|
|
|
|
|
|
|
|
# Unix-style newlines with a newline ending every file, utf-8 charset
|
|
|
|
[*]
|
|
|
|
end_of_line = lf
|
|
|
|
insert_final_newline = true
|
|
|
|
trim_trailing_whitespace = true
|
|
|
|
charset = utf-8
|
|
|
|
indent_style = space
|
|
|
|
indent_size = 4
|
|
|
|
|
|
|
|
[Makefile]
|
|
|
|
indent_style = tab
|
2023-04-13 11:33:16 +02:00
|
|
|
|
2023-12-13 18:10:10 +01:00
|
|
|
[scripts/*.mk]
|
|
|
|
indent_style = tab
|
|
|
|
|
2023-04-13 11:33:16 +02:00
|
|
|
[prompts/*.txt]
|
|
|
|
insert_final_newline = unset
|
2023-09-04 10:28:55 +02:00
|
|
|
|
|
|
|
[examples/server/public/*]
|
|
|
|
indent_size = 2
|