Revision aea6908ed3920a5005fa50c30fff4a84959bc1c5 authored by Boris Sekachev on 22 June 2023, 08:33:48 UTC, committed by Boris Sekachev on 22 June 2023, 08:33:48 UTC
1 parent d5d121c
.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 ...