Specify the indent size for Python files

kgryte · kgryte · commit 8bc2cc01b0e7 · 2016-12-22T15:31:43.000-08:00
diff --git a/.editorconfig b/.editorconfig
@@ -11,6 +11,7 @@ indent_style = tab
 
 [*.py]
 indent_style = space
+indent_size = 4
 
 [*.jl]
 indent_style = tab
