github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-11 15:12:47 +09:00
Code Issues Packages Projects Releases Wiki Activity

Fix typo

Browse Source 
Closes #1869
This commit is contained in:
Zachary Yedidia
2020-09-23 21:54:25 -04:00
parent 49786cf8c3
commit 530041ac70
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
runtime/help/options.md
View File

@@ -237,8 +237,7 @@ Here are the available options:
By default, this option points to the official plugin channel hosted on GitHub
at https://github.com/micro-editor/plugin-channel.
default value: `https://raw.githubusercontent.com/micro-editor/plugin-channel
/master/channel.json`
default value: `https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json`
* `pluginrepos`: a list of links to plugin repositories.