Browse Source

Update micro settings.json

pull/15/head
10sr 6 years ago
parent
commit
50b98b3474
1 changed files with 2 additions and 1 deletions
  1. +2
    -1
      micro/settings.json

+ 2
- 1
micro/settings.json View File

@@ -45,5 +45,6 @@
"tabsize": 4, "tabsize": 4,
"tabstospaces": false, "tabstospaces": false,
"termtitle": false, "termtitle": false,
"useprimary": true
"useprimary": true,
"editorconfigverbose": true
} }

Loading…
Cancel
Save