From 4c07d2f4fd3b884eb92abcb2a55a6306422118c6 Mon Sep 17 00:00:00 2001 From: Keviv Date: Thu, 1 Dec 2016 20:17:27 +0100 Subject: [PATCH] deleted redundant and erroneous text There were two sections for `Plugin Repair` but the last one's content was erroneous (contained `Plugin Update` docs). --- website/source/docs/cli/plugin.html.md | 7 ------- 1 file changed, 7 deletions(-) diff --git a/website/source/docs/cli/plugin.html.md b/website/source/docs/cli/plugin.html.md index 913367af0..42d3eefdb 100644 --- a/website/source/docs/cli/plugin.html.md +++ b/website/source/docs/cli/plugin.html.md @@ -142,10 +142,3 @@ the plugin using `vagrant plugin install`. If a name is specified, only that single plugin will be updated. If a name is specified of a plugin that is not installed, this command will not install it. - -# Plugin Repair - -**Command: `vagrant plugin update []`** - -This updates the plugins that are installed within Vagrant. If you specified -version constraints when installing the plugin, this command will respect