From 530041ac70574e71aa5e3d983fe314df8b0c183a Mon Sep 17 00:00:00 2001 From: Zachary Yedidia Date: Wed, 23 Sep 2020 21:54:25 -0400 Subject: [PATCH] Fix typo Closes #1869 --- runtime/help/options.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/runtime/help/options.md b/runtime/help/options.md index 44057058..5c087a07 100644 --- a/runtime/help/options.md +++ b/runtime/help/options.md @@ -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.