diff options
Diffstat (limited to 'devdocs/gcc~13/metadata')
| -rw-r--r-- | devdocs/gcc~13/metadata | 2 |
1 files changed, 0 insertions, 2 deletions
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 . "© Free Software Foundation<br> - Licensed under the GNU Free Documentation License, Version 1.3."))
\ No newline at end of file |