Revision 57a51820c2a7af67ab81612dcf9551285f768995 authored by Nikita Manovich on 15 November 2021, 07:50:45 UTC, committed by Nikita Manovich on 15 November 2021, 07:50:45 UTC
1 parent aa39723
.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
Computing file changes ...