github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-02 10:50:25 +09:00
Code Issues Packages Projects Releases Wiki Activity
847 Commits 24 Branches 41 Tags
f3f4790103572fce975e6889d0124eacc7f8148f
Commit Graph

5 Commits

Author SHA1 Message Date
boombuler
f3f4790103 simple plugin search 2016-09-27 21:25:57 +02:00
Florian Sundermann
23ef69b935 change pluginmanager json to json5 2016-09-27 13:28:32 +02:00
Florian Sundermann
55c790f069 more tolerant version parsing 2016-09-27 13:26:11 +02:00
Florian Sundermann
f351c251e4 first few pm commands 2016-09-26 16:53:39 +02:00
boombuler
567faeb07e initial commit of pluginmanager 2016-09-23 10:03:42 +02:00