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

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

diff --git a/devdocs/vagrant/providers%2Fcustom.html b/devdocs/vagrant/providers%2Fcustom.html
deleted file mode 100644
index a123cfdc..00000000
--- a/devdocs/vagrant/providers%2Fcustom.html
+++ /dev/null
@@ -1,6 +0,0 @@
-<h1 id="custom-provider">  Custom Provider </h1> <p>To learn how to make your own custom Vagrant providers, read the Vagrant plugin development guide on <a href="../plugins/providers">creating custom providers</a>.</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/custom.html" class="_attribution-link">https://www.vagrantup.com/docs/providers/custom.html</a>
-  </p>
-</div>
-- 
cgit v1.2.3