From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/gcc~13/non-bugs.html | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100644 devdocs/gcc~13/non-bugs.html (limited to 'devdocs/gcc~13/non-bugs.html') diff --git a/devdocs/gcc~13/non-bugs.html b/devdocs/gcc~13/non-bugs.html deleted file mode 100644 index 02b45973..00000000 --- a/devdocs/gcc~13/non-bugs.html +++ /dev/null @@ -1,30 +0,0 @@ -

14.8 Certain Changes We Don’t Want to Make

This section lists changes that people frequently request, but which we do not make because we think GCC is better without them.

-

- © Free Software Foundation
Licensed under the GNU Free Documentation License, Version 1.3.
- https://gcc.gnu.org/onlinedocs/gcc-13.1.0/gcc/Non-bugs.html -

-
-- cgit v1.2.3