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

Fixed help topic name (#1876)

Browse Source 
The help topic is called `commands` not `command`
This commit is contained in:
Marduk Bolaños
2020-10-06 22:55:47 +02:00
committed by GitHub
parent 8742674197
commit 225b24f356
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

@@ -418,7 +418,7 @@ your own plugins.
Micro also has a built in plugin manager which you can invoke with the
`> plugin ...` command, or in the shell with `micro -plugin ...`.
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