mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-09 14:20:16 +09:00
Fix typo in tutorial.md (#940)
Delete extraneous "plugins" word in line 12.
This commit is contained in:
committed by
Zachary Yedidia
parent
98778a80c2
commit
5138ae2436
@@ -9,7 +9,7 @@ Hopefully you'll find this useful.
|
||||
### Plugins
|
||||
|
||||
Micro has a plugin manager which can automatically download plugins for you. To
|
||||
see the plugins 'official' plugins, go to github.com/micro-editor/plugin-channel.
|
||||
see the 'official' plugins, go to github.com/micro-editor/plugin-channel.
|
||||
|
||||
For example, if you'd like to install the snippets plugin (listed in that repo),
|
||||
just press `CtrlE` to execute a command, and type `plugin install snippets`.
|
||||
|
||||
Reference in New Issue
Block a user