From f35837755c46b758442e510861af9c24bf086189 Mon Sep 17 00:00:00 2001
From: Henrik Lissner <henrik@lissner.net>
Date: Sat, 22 Dec 2018 20:18:14 -0500
Subject: [PATCH] Disable tools/editorconfig by default

---
 init.example.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/init.example.el b/init.example.el
index b32fa440a..57f9ec90a 100644
--- a/init.example.el
+++ b/init.example.el
@@ -65,7 +65,7 @@
        :tools
        ;;ansible
        ;;docker
-       editorconfig      ; let someone else argue about tabs vs spaces
+       ;;editorconfig      ; let someone else argue about tabs vs spaces
        ;;ein               ; tame Jupyter notebooks with emacs
        ;;gist              ; interacting with github gists
        ;;macos             ; MacOS-specific commands