Revision 5bc8c7b267a1e713d30419ca90288cf916baf908 authored by Boris Sekachev on 22 June 2023, 07:29:10 UTC, committed by GitHub on 22 June 2023, 07:29:10 UTC
1 parent 5d36068
.editorconfig
# EditorConfig helps developers define and maintain consistent
# coding styles between different editors and IDEs
# editorconfig.org
root = true
[*]
# Change these settings to your own preference
indent_style = space
indent_size = 4
# We recommend you to keep these unchanged
end_of_line = lf
charset = utf-8
trim_trailing_whitespace = true
insert_final_newline = true
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...