From 50b98b3474e04c47cfe3c8fe0b35effef1efffcd Mon Sep 17 00:00:00 2001
From: 10sr <8slashes+git@gmail.com>
Date: Sun, 18 Feb 2018 00:51:06 +0900
Subject: [PATCH] Update micro settings.json

---
 micro/settings.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/micro/settings.json b/micro/settings.json
index 5d6c6c9..a48a0fd 100644
--- a/micro/settings.json
+++ b/micro/settings.json
@@ -45,5 +45,6 @@
     "tabsize": 4,
     "tabstospaces": false,
     "termtitle": false,
-    "useprimary": true
+    "useprimary": true,
+    "editorconfigverbose": true
 }