Revision b51d4efa83c0e849d829fe79fb4da12e6700d419 authored by rldhont on 26 July 2017, 13:11:19 UTC, committed by rldhont on 26 July 2017, 13:18:00 UTC
fixed #16670
1 parent 476b584
.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 ...