Revision 5a9b4899eadc8a1de522781d715a2d046b799b51 authored by Philipp A on 11 April 2023, 12:01:13 UTC, committed by Philipp A on 11 April 2023, 12:01:13 UTC
1 parent 90eed02
.editorconfig
root = true
[*]
charset = utf-8
end_of_line = lf
insert_final_newline = true
trim_trailing_whitespace = true
max_line_length = 88
[*.py]
indent_size = 4
indent_style = space
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...