Fix #1208: Add .editorconfig (#1209)

loklak · Jun 1, 2017 · f7c0cb4 · f7c0cb4
1 parent 5bc8f7e
commit f7c0cb4
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/.editorconfig b/.editorconfig
@@ -0,0 +1,18 @@
+root = true
+
+# Global settings
+[*]
+indent_style = space
+end_of_line = lf
+charset = utf-8
+
+# Specially for java
+[*.java]
+indent_size = 4
+insert_final_newline = true
+trim_trailing_whitespace = true
+
+
+# Batch files use tabs for indentation
+[*.bat]
+indent_style = tab