From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/vagrant/share%2Fprovider.html | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 devdocs/vagrant/share%2Fprovider.html (limited to 'devdocs/vagrant/share%2Fprovider.html') diff --git a/devdocs/vagrant/share%2Fprovider.html b/devdocs/vagrant/share%2Fprovider.html deleted file mode 100644 index d4c491d0..00000000 --- a/devdocs/vagrant/share%2Fprovider.html +++ /dev/null @@ -1,8 +0,0 @@ -

Custom Provider

Warning: Advanced Topic! This topic is related to developing Vagrant plugins. If you are not interested in this or you are just starting with Vagrant, it is safe to skip this page.

-

If you are developing a custom Vagrant provider, you will need to do a tiny bit more work in order for it to work well with Vagrant Share.

For now, this is only one step:

-

- © 2010–2018 Mitchell Hashimoto
Licensed under the MPL 2.0 License.
- https://www.vagrantup.com/docs/share/provider.html -

-
-- cgit v1.2.3