added files-plugin - Githubissues

micro-editor / plugin-channel

Official plugin channel for micro

223 stars 47 forks source link

Closed ghost closed 5 years ago

ghost commented 5 years ago

plugin that allows simple file browsing (not managing) with tabs similar to how mle(eon) does it

ghost commented 5 years ago

Added file grep plugin