Revision aba58a27e51b0347c614a83f7817ecaef8d23fb4 authored by Juergen E. Fischer on 12 February 2017, 10:22:46 UTC, committed by Juergen E. Fischer on 12 February 2017, 10:24:17 UTC
(backported from 84bef5f; followup b003cbe0)
1 parent fc24332
.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
Computing file changes ...
