.editorconfig
changeset 28793 d30fdd6d1bf7
child 38281 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