github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-25 18:07:07 +09:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'diff-gutter' of https://github.com/p-e-w/micro

Browse Source
This commit is contained in:
Zachary Yedidia
2020-02-10 00:28:43 -05:00
parent 3ed77dbb2e de33eac058
commit bdf9e6d3a4
32 changed files with 449 additions and 49 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
runtime/help/options.md
View File

@@ -60,6 +60,10 @@ Here are the available options:
default value: `true`
* `diffgutter`: display diff indicators before lines.
default value: `true`
* `encoding`: the encoding to open and save files with. Supported encodings
are listed at https://www.w3.org/TR/encoding/.