removing all downloaded devdocs files

1 files changed, 0 insertions, 6 deletions

diff --git a/devdocs/vagrant/providers%2Findex.html b/devdocs/vagrant/providers%2Findex.html
deleted file mode 100644
index 1931f338a..000000000
--- a/devdocs/vagrant/providers%2Findex.html
+++ /dev/null
@@ -1,6 +0,0 @@
-<h1 id="providers">  Providers </h1> <p>While Vagrant ships out of the box with support for <a href="https://www.virtualbox.org">VirtualBox</a>, <a href="https://www.microsoft.com/hyper-v">Hyper-V</a>, and <a href="https://www.docker.io">Docker</a>, Vagrant has the ability to manage other types of machines as well. This is done by using other <em>providers</em> with Vagrant.</p> <p>Alternate providers can offer different features that make more sense in your use case. For example, if you are using Vagrant for any real work, <a href="https://www.vmware.com">VMware</a> providers are recommended since they're well supported and generally more stable and performant than VirtualBox.</p> <p>Before you can use another provider, you must install it. Installation of other providers is done via the Vagrant plugin system.</p> <p>Once the provider is installed, usage is straightforward and simple, as you would expect with Vagrant. Read into the relevant subsections found in the navigation to the left for more information.</p><div class="_attribution">
-  <p class="_attribution-p">
-    &copy; 2010&ndash;2018 Mitchell Hashimoto<br>Licensed under the MPL 2.0 License.<br>
-    <a href="https://www.vagrantup.com/docs/providers/" class="_attribution-link">https://www.vagrantup.com/docs/providers/</a>
-  </p>
-</div>