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

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

..

autoclose

Add plugin manager

2020-02-01 23:54:38 -05:00

comment

Use actual lua functions for callbacks instead of strings

2020-02-08 15:49:41 -05:00

diff

Add diff gutter

2020-02-08 13:26:24 +05:30

ftoptions

Add plugin manager

2020-02-01 23:54:38 -05:00

linter

Use actual lua functions for callbacks instead of strings

2020-02-08 15:49:41 -05:00

literate

Add plugin manager

2020-02-01 23:54:38 -05:00

status

Add some docs for linter, comment, status

2020-02-07 11:32:12 -05:00