Zachary Yedidia ecb9fd5a8a Change diffgutter default to false

2020-02-10 00:30:13 -05:00

..

colors.md

…

commands.md

…

copypaste.md

…

defaultkeys.md

…

help.md

…

keybindings.md

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

2020-02-10 00:28:43 -05:00

options.md

Change diffgutter default to false

2020-02-10 00:30:13 -05:00

plugins.md

Update third party licenses

2020-02-09 00:03:03 -05:00

tutorial.md

…