From 6216acf302a70839e703f504fd28feddf9724975 Mon Sep 17 00:00:00 2001
From: Maximilian Michels <mxm@apache.org>
Date: Wed, 25 Nov 2015 10:36:03 +0100
Subject: [PATCH] [github] change tab size to 4 spaces

The default tab size on GitHub is 8 spaces. This change decreases the
tab size to 4. I think this will make reviewing of code on GitHub
much easier.

This commit also introduces sensible defaults for editors which respect
the ".editorconfig" file standard.

This closes #1404.
---
 .editorconfig | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 .editorconfig

diff --git a/.editorconfig b/.editorconfig
new file mode 100644
index 00000000000..f15c185fc85
--- /dev/null
+++ b/.editorconfig
@@ -0,0 +1,8 @@
+root = true
+
+[*]
+indent_style = tab
+indent_size = 4
+charset = utf-8
+end_of_line = lf
+insert_final_newline = true