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

(limited to 'devdocs/vagrant/index.html')

diff --git a/devdocs/vagrant/index.html b/devdocs/vagrant/index.html
deleted file mode 100644
index c2b9b742..00000000
--- a/devdocs/vagrant/index.html
+++ /dev/null
@@ -1,6 +0,0 @@
-<h1 id="vagrant-documentation">  Vagrant Documentation </h1> <p>Welcome to the documentation for Vagrant - the command line utility for managing the lifecycle of virtual machines. This website aims to document every feature of Vagrant from top-to-bottom, covering as much detail as possible. If you are just getting started with Vagrant, it is highly recommended that you start with the <a href="https://www.vagrantup.com/intro/getting-started/index.html">getting started guide</a> first, and then return to this page.</p> <p>The navigation will take you through each component of Vagrant. Click on a navigation item to get started, or read more about <a href="https://www.vagrantup.com/intro/index.html">why developers, designers, and operators choose Vagrant</a> for their needs.</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/index.html" class="_attribution-link">https://www.vagrantup.com/docs/index.html</a>
-  </p>
-</div>
-- 
cgit v1.2.3