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/gcc~13/metadata | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 devdocs/gcc~13/metadata

(limited to 'devdocs/gcc~13/metadata')

diff --git a/devdocs/gcc~13/metadata b/devdocs/gcc~13/metadata
deleted file mode 100644
index 1dcc3654..00000000
--- a/devdocs/gcc~13/metadata
+++ /dev/null
@@ -1,2 +0,0 @@
-(1 (name . "GCC") (slug . "gcc~13") (type . "simple") (links (home . "https://gcc.gnu.org/")) (version . "13") (release . "13.1.0") (mtime . 1690397241) (db_size . 4388409) (attribution . "&copy; Free Software Foundation<br>
-      Licensed under the GNU Free Documentation License, Version 1.3."))
\ No newline at end of file
-- 
cgit v1.2.3