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/virtualbox%2Findex.html | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 devdocs/vagrant/virtualbox%2Findex.html

(limited to 'devdocs/vagrant/virtualbox%2Findex.html')

diff --git a/devdocs/vagrant/virtualbox%2Findex.html b/devdocs/vagrant/virtualbox%2Findex.html
deleted file mode 100644
index 8e4969b0..00000000
--- a/devdocs/vagrant/virtualbox%2Findex.html
+++ /dev/null
@@ -1,6 +0,0 @@
-<h1 id="virtualbox">  VirtualBox </h1> <p>Vagrant comes with support out of the box for <a href="https://www.virtualbox.org">VirtualBox</a>, a free, cross-platform consumer virtualization product.</p> <p>The VirtualBox provider is compatible with VirtualBox versions 4.0.x, 4.1.x, 4.2.x, 4.3.x, 5.0.x, 5.1.x, and 5.2.x. Other versions are unsupported and the provider will display an error message. Please note that beta and pre-release versions of VirtualBox are not supported and may not be well-behaved.</p> <p>VirtualBox must be installed on its own prior to using the provider, or the provider will display an error message asking you to install it. VirtualBox can be installed by <a href="https://www.virtualbox.org/wiki/Downloads">downloading</a> a package or installer for your operating system and using standard procedures to install that package.</p> <p>Use the navigation to the left to find a specific VirtualBox topic to read more about.</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/virtualbox/" class="_attribution-link">https://www.vagrantup.com/docs/virtualbox/</a>
-  </p>
-</div>
-- 
cgit v1.2.3