Revision 39641109a9518806c19dd23d3210dfec938d3494 authored by Marco Hugentobler on 29 November 2016, 14:27:00 UTC, committed by rldhont on 13 December 2016, 08:58:13 UTC
1 parent 5d80e1b
.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 ...
