summaryrefslogtreecommitdiff
path: root/devdocs/vagrant/providers%2Finstallation.html
diff options
context:
space:
mode:
authorCraig Jennings <c@cjennings.net>2025-08-14 22:58:58 -0500
committerCraig Jennings <c@cjennings.net>2025-08-14 22:58:58 -0500
commit82ba818ff456bcd6d56a06226e3f27e98fbb55c3 (patch)
tree158cfc17b2f644a10f063cb546752cfaae12c97f /devdocs/vagrant/providers%2Finstallation.html
parent9278ddd4ea1a8b1a4c1edaa8894516e3f48d245b (diff)
downloaddotemacs-82ba818ff456bcd6d56a06226e3f27e98fbb55c3.tar.gz
dotemacs-82ba818ff456bcd6d56a06226e3f27e98fbb55c3.zip
removing all downloaded devdocs files
Diffstat (limited to 'devdocs/vagrant/providers%2Finstallation.html')
-rw-r--r--devdocs/vagrant/providers%2Finstallation.html6
1 files changed, 0 insertions, 6 deletions
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>