github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-09 08:30:23 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
f5e1f93ee5f04c8ecfd4d7794848b2c29e028ccb
zyedidia.micro/runtime/plugins
History
Zachary Yedidia bcb1947a0a Add plugin manager
2020-02-01 23:54:38 -05:00
..
autoclose
Add plugin manager
2020-02-01 23:54:38 -05:00
comment
Add plugin manager
2020-02-01 23:54:38 -05:00
ftoptions
Add plugin manager
2020-02-01 23:54:38 -05:00
linter
Add plugin manager
2020-02-01 23:54:38 -05:00
literate
Add plugin manager
2020-02-01 23:54:38 -05:00
status
Add plugin manager
2020-02-01 23:54:38 -05:00