]> git.lizzy.rs Git - micro.git/commit
projects / micro.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c71995) | patch
Make default plugin options more explicit
authorZachary Yedidia <zyedidia@gmail.com>
Wed, 12 Feb 2020 20:34:13 +0000 (15:34 -0500)
committerZachary Yedidia <zyedidia@gmail.com>
Wed, 12 Feb 2020 20:34:13 +0000 (15:34 -0500)
commita7ce85d6f624c4918988481bc7af919423dc8171
tree79524a3b1f0d01b0bd348e7cba6cf566b11e3176tree | snapshot
parent7c71995aaf56113a0c23f30829f52b43a6d8376ecommit | diff
Make default plugin options more explicit

Ref #1305
runtime/help/options.md diff | blob | history
runtime/help/plugins.md diff | blob | history
A modern and intuitive terminal-based text editor