diff options
Diffstat (limited to 'patches/gcc.local.patch')
| -rw-r--r-- | patches/gcc.local.patch | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/patches/gcc.local.patch b/patches/gcc.local.patch deleted file mode 100644 index 00755c22..00000000 --- a/patches/gcc.local.patch +++ /dev/null @@ -1,20 +0,0 @@ ---- cbb-gcc-4.6.4/gcc/doc/gcc.texi.orig 2017-03-10 14:12:11.046714683 +0000 -+++ cbb-gcc-4.6.4/gcc/doc/gcc.texi 2017-05-29 13:33:34.011012575 +0000 -@@ -86,9 +86,15 @@ - @item GNU Press - @tab Website: www.gnupress.org - @item a division of the --@tab General: @tex press@@gnu.org @end tex -+@tab General: -+@tex -+press@@gnu.org -+@end tex - @item Free Software Foundation --@tab Orders: @tex sales@@gnu.org @end tex -+@tab Orders: -+@tex -+sales@@gnu.org -+@end tex - @item 51 Franklin Street, Fifth Floor - @tab Tel 617-542-5942 - @item Boston, MA 02110-1301 USA |