From 364006bcfb6a5565e12e7bb150f9c68f04132d6a Mon Sep 17 00:00:00 2001
From: Misha Brukman <mbrukman@google.com>
Date: Sun, 4 Oct 2015 21:31:38 -0400
Subject: [PATCH] Added .editorconfig for easier editing.

Editor Config allows local per-project configuration to be expressed in a single
file, which makes it easy for one to work across many repos with many projects,
each of which may have its own preferred indentation, spacing, EOL, encoding,
etc. styles.

This change just adds 4-space indent for Python; other rules can be added quite
easily. The file has a pointer to the project's homepage which explains how to
install editor-specific plugins to handle this config and how to extend this
config further.
---
 .editorconfig | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 .editorconfig

diff --git a/.editorconfig b/.editorconfig
new file mode 100644
index 00000000000..1b0656e22b0
--- /dev/null
+++ b/.editorconfig
@@ -0,0 +1,7 @@
+# For more info on EditorConfig, see: http://EditorConfig.org
+
+root = true
+
+[*.py]
+indent_style = space
+indent_size = 4