utilities/micro
utilities/micro
1
0
Fork 0
mirror of https://github.com/zyedidia/micro synced 2024-11-05 17:41:24 +00:00
Code Issues Projects Releases Packages Wiki Activity
micro/runtime/plugins
History
Zachary Yedidia dc4da37908 Add "paste" option to enable aggressive pasting 
Ref #1043
2020-01-02 12:42:39 -05:00
..
autoclose Update default plugins slightly 2019-12-28 22:39:57 -05:00
comment Fix formatting in plugin info.json 2019-12-29 00:03:21 -05:00
ftoptions Fix formatting in plugin info.json 2019-12-29 00:03:21 -05:00
linter Fix formatting in plugin info.json 2019-12-29 00:03:21 -05:00
literate Fix formatting in plugin info.json 2019-12-29 00:03:21 -05:00
status Add "paste" option to enable aggressive pasting 2020-01-02 12:42:39 -05:00