github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-09 16:40:22 +09:00
Code Issues Packages Projects Releases Wiki Activity
2,414 Commits 24 Branches 41 Tags
settings-config
Commit Graph

3 Commits

Author SHA1 Message Date
Zachary Yedidia
106ba48079 Add some docs for linter, comment, status 2020-02-07 11:32:12 -05:00
Zachary Yedidia
bcb1947a0a Add plugin manager 2020-02-01 23:54:38 -05:00
Zachary Yedidia
dc4da37908 Add "paste" option to enable aggressive pasting 
Ref #1043
 2020-01-02 12:42:39 -05:00