changeset 28793 | d30fdd6d1bf7 |
child 38293 | 1d6066336d7b |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.editorconfig Tue Apr 05 18:10:33 2016 +0100 @@ -0,0 +1,13 @@ +# See http://EditorConfig.org for the specification + +root = true + +[*.py] +indent_size = 4 +indent_style = space +trim_trailing_whitespace = true + +[*.{c,h}] +indent_size = 8 +indent_style = tab +trim_trailing_whitespace = true