Revision ca98857d576ddda234d7b0cf3ddc6a4868c73e64 authored by Nikita Manovich on 26 February 2022, 18:53:24 UTC, committed by Nikita Manovich on 26 February 2022, 18:53:24 UTC
1 parent e8f294f
.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 ...
