]> git.lizzy.rs Git - micro.git/commit
projects / micro.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 0654db3 660d345)
Merge branch 'settings-config'
authorZachary Yedidia <zyedidia@gmail.com>
Tue, 9 Jun 2020 20:34:37 +0000 (16:34 -0400)
committerZachary Yedidia <zyedidia@gmail.com>
Tue, 9 Jun 2020 20:34:37 +0000 (16:34 -0400)
commitefb38b863675085a7af8d642566e5b26366a8a9a
treec21215d02f44bb467f0d5f35ce4a8917c93851ddtree | snapshot
parent0654db334acff085c3851b823ecf32d49c8fc31ecommit | diff
parent660d345880fc32c8403f0bd2d82f2ed907f54621commit | diff
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`.
A modern and intuitive terminal-based text editor