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

(limited to 'devdocs/vagrant/cli%2Fssh_config.html')

diff --git a/devdocs/vagrant/cli%2Fssh_config.html b/devdocs/vagrant/cli%2Fssh_config.html
deleted file mode 100644
index 356a73ec..00000000
--- a/devdocs/vagrant/cli%2Fssh_config.html
+++ /dev/null
@@ -1,7 +0,0 @@
-<h1 id="ssh-config">  SSH Config </h1> <p><strong>Command: <code>vagrant ssh-config [name|id]</code></strong></p> <p>This will output valid configuration for an SSH config file to SSH into the running Vagrant machine from <code>ssh</code> directly (instead of using <code>vagrant ssh</code>).</p> <h2 id="options">  Options </h2> <ul> <li>
-<a href="#host-name"><code>--host NAME</code></a> - Name of the host for the outputted configuration. </li> </ul><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/cli/ssh_config.html" class="_attribution-link">https://www.vagrantup.com/docs/cli/ssh_config.html</a>
-  </p>
-</div>
-- 
cgit v1.2.3