From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001
From: Craig Jennings <c@cjennings.net>
Date: Thu, 14 Aug 2025 22:58:58 -0500
Subject: removing all downloaded devdocs files

---
 devdocs/vagrant/providers%2Finstallation.html | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 devdocs/vagrant/providers%2Finstallation.html

(limited to 'devdocs/vagrant/providers%2Finstallation.html')

diff --git a/devdocs/vagrant/providers%2Finstallation.html b/devdocs/vagrant/providers%2Finstallation.html
deleted file mode 100644
index b183c4e6..00000000
--- a/devdocs/vagrant/providers%2Finstallation.html
+++ /dev/null
@@ -1,6 +0,0 @@
-<h1 id="provider-installation">  Provider Installation </h1> <p>Providers are distributed as Vagrant plugins, and are therefore installed using <a href="../plugins/usage">standard plugin installation steps</a>. After installing a plugin which contains a provider, the provider should immediately be available.</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/installation.html" class="_attribution-link">https://www.vagrantup.com/docs/providers/installation.html</a>
-  </p>
-</div>
-- 
cgit v1.2.3