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
Files
7492ab4de280001b01bbe7af8807e68d87f17540
zyedidia.micro/cmd
History
Zachary Yedidia 7492ab4de2 Add 'plugin available' command 
Closes #413
2016-10-24 19:02:13 -04:00
..
micro
Add 'plugin available' command
2016-10-24 19:02:13 -04:00