github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-16 13:57:07 +09:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1194 from MJBrune/patch-1

Browse Source 
Added an s to command(s)
This commit is contained in:
Zachary Yedidia
2018-09-24 16:22:16 -04:00
committed by GitHub
parent 1013b03314 f68149489e
commit de35d00ba7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
runtime/help/plugins.md
View File

@@ -327,7 +327,7 @@ plugins that are stored in the official channel
Micro also has a built in plugin manager which you can invoke with the
`> plugin ...` command.
For the valid commands you can use, see the `command` help topic.
For the valid commands you can use, see the `commands` help topic.
The manager fetches plugins from the channels (which is simply a list of plugin
metadata) which it knows about. By default, micro only knows about the official