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/python~3.12/using%2Feditors.html | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 devdocs/python~3.12/using%2Feditors.html

(limited to 'devdocs/python~3.12/using%2Feditors.html')

diff --git a/devdocs/python~3.12/using%2Feditors.html b/devdocs/python~3.12/using%2Feditors.html
deleted file mode 100644
index 317e71e4..00000000
--- a/devdocs/python~3.12/using%2Feditors.html
+++ /dev/null
@@ -1,6 +0,0 @@
- <span id="editors"></span><h1> Editors and IDEs</h1> <p>There are a number of IDEs that support Python programming language. Many editors and IDEs provide syntax highlighting, debugging tools, and <span class="target" id="index-0"></span><a class="pep reference external" href="https://peps.python.org/pep-0008/"><strong>PEP 8</strong></a> checks.</p> <p>Please go to <a class="reference external" href="https://wiki.python.org/moin/PythonEditors">Python Editors</a> and <a class="reference external" href="https://wiki.python.org/moin/IntegratedDevelopmentEnvironments">Integrated Development Environments</a> for a comprehensive list.</p> <div class="_attribution">
-  <p class="_attribution-p">
-    &copy; 2001&ndash;2023 Python Software Foundation<br>Licensed under the PSF License.<br>
-    <a href="https://docs.python.org/3.12/using/editors.html" class="_attribution-link">https://docs.python.org/3.12/using/editors.html</a>
-  </p>
-</div>
-- 
cgit v1.2.3