From 754bbf7a25a8dda49b5d08ef0d0443bbf5af0e36 Mon Sep 17 00:00:00 2001
From: Craig Jennings <c@cjennings.net>
Date: Sun, 7 Apr 2024 13:41:34 -0500
Subject: new repository

---
 devdocs/gcc~13/metadata | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 devdocs/gcc~13/metadata

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

diff --git a/devdocs/gcc~13/metadata b/devdocs/gcc~13/metadata
new file mode 100644
index 00000000..1dcc3654
--- /dev/null
+++ b/devdocs/gcc~13/metadata
@@ -0,0 +1,2 @@
+(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