Revision 607f819e152726bb00b0e4df89e024f9f97dd067 authored by Andrea Giudiceandrea on 15 April 2021, 11:19:02 UTC, committed by GitHub on 15 April 2021, 11:19:02 UTC
1 parent bfa38f2
.editorconfig
# See http://editorconfig.org
# top-most EditorConfig file
root = true
# every file needs these
[*]
charset = utf-8
end_of_line = lf
trim_trailing_whitespace = true
insert_final_newline = true
indent_style = space
indent_size = 2
# python scripts have 4 spaces indent
[*.py]
indent_size = 4
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...