github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-17 14:27:12 +09:00
Code Issues Packages Projects Releases Wiki Activity
852 Commits 24 Branches 41 Tags
2a7a55eca4b5abc90a9f3edb37b5548fdbeb229c
Commit Graph

7 Commits

Author SHA1 Message Date
boombuler
2a7a55eca4 better plugin search 2016-09-28 17:55:44 +02:00
Florian Sundermann
cce36624dc PM should not install already installed plugins. 2016-09-28 16:34:28 +02:00
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