introduce EditorConfig (#413)

set indent_size to 4
JuliaStats · Jun 11, 2019 · 38d5955 · 38d5955
1 parent 9d8364f
commit 38d5955
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.editorconfig b/.editorconfig
@@ -0,0 +1,3 @@
+[*.jl]
+indent_style = space
+indent_size = 4