From c72d90567bc6296df859d902cf6a468aaaaae355 Mon Sep 17 00:00:00 2001
From: "Julio C. Rocha" <julio@rochsquadron.net>
Date: Mon, 27 Mar 2017 19:36:39 -0700
Subject: [PATCH] Forget .editorconfig for now.

---
 .editorconfig | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 .editorconfig

diff --git a/.editorconfig b/.editorconfig
deleted file mode 100644
index b10dc765d..000000000
--- a/.editorconfig
+++ /dev/null
@@ -1,5 +0,0 @@
-[*]
-indent_style = tab
-indent_size = 4
-end_of_line = lf
-insert_final_newline = true