.editorconfig
branchstable
changeset 28977 740156eedf2c
parent 28793 d30fdd6d1bf7
child 38281 1d6066336d7b
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.editorconfig	Sat Apr 16 18:06:48 2016 -0500
@@ -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