Make plugins in ~/.config/micro/plug dir override built-in plugins#3031
Merged
zyedidia merged 1 commit intomicro-editor:masterfrom Jan 17, 2024
Merged
Make plugins in ~/.config/micro/plug dir override built-in plugins#3031zyedidia merged 1 commit intomicro-editor:masterfrom
~/.config/micro/plug dir override built-in plugins#3031zyedidia merged 1 commit intomicro-editor:masterfrom