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