github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-20 14:00:23 +09:00
Code Issues Packages Projects Releases Wiki Activity
2,714 Commits 24 Branches 41 Tags
9ece5c8a3fca1663994fd76f5e21c218973efe09
Commit Graph

5 Commits

Author SHA1 Message Date
Zachary Yedidia
bcb1947a0a Add plugin manager 2020-02-01 23:54:38 -05:00
Zachary Yedidia
629f20720a Fix add runtime file for local plugins 2019-12-27 20:28:25 -05:00
Zachary Yedidia
763e635fea Add literate plugin support 2019-12-25 17:05:11 -05:00
Tommy
ee8e022ccf stop version error when updating and option to disable builtin plugin. (#939) 2017-12-03 12:41:22 -05:00
Zachary Yedidia
be8124154b Re-add literate supportg 2017-05-27 17:16:21 -04:00