purescript-stream/.editorconfig
2017-03-12 19:48:37 -04:00

15 lines
231 B
INI

root = true
[*]
indent_style = space
indent_size = 2
tab_width = 2
end_of_line = lf
charset = utf-8
trim_trailing_whitespace = true
insert_final_newline = true
[*.md]
trim_trailing_whitespace = false
insert_final_newline = false