Files
Zachary Yedidia efb38b8636 Merge branch 'settings-config'
With these changes, settings.json should only contain options that
have been modified from their default values. Micro will actively
options that are set to default values from the settings.json file.
To see a full list of settings and their defaults, see the "options"
documentation, as well as `micro -options`.
2020-06-09 16:34:37 -04:00
..
2020-05-04 10:16:15 -04:00
2020-05-14 21:50:28 -04:00
2020-06-07 15:46:12 -04:00
2019-12-31 20:15:45 -05:00
2020-05-04 10:16:15 -04:00
2020-05-04 10:16:15 -04:00
2020-05-04 10:16:15 -04:00
2020-05-04 10:16:15 -04:00
2020-06-09 15:57:52 -04:00
2020-05-04 10:16:15 -04:00
2020-05-04 10:16:15 -04:00