From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path:
Received: by sourceware.org (Postfix, from userid 1851)
id 3E1813840C3B; Thu, 28 May 2020 12:41:08 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3E1813840C3B
To: gcc-cvs-wwwdocs@gcc.gnu.org
Subject: gcc-wwwdocs branch master updated.
793ea4ab70b823bd823a2c7fb34b386d31ca3137
X-Git-Refname: refs/heads/master
X-Git-Reftype: branch
X-Git-Oldrev: 3f34db996fd1f62bdffacc37cfa5285026e69bfb
X-Git-Newrev: 793ea4ab70b823bd823a2c7fb34b386d31ca3137
Message-Id: <20200528124108.3E1813840C3B@sourceware.org>
Date: Thu, 28 May 2020 12:41:08 +0000 (GMT)
From: Martin Liska
X-BeenThere: gcc-cvs-wwwdocs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-cvs-wwwdocs mailing list
List-Unsubscribe: ,
List-Archive:
List-Help:
List-Subscribe: ,
X-List-Received-Date: Thu, 28 May 2020 12:41:08 -0000
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".
The branch, master has been updated
via 793ea4ab70b823bd823a2c7fb34b386d31ca3137 (commit)
from 3f34db996fd1f62bdffacc37cfa5285026e69bfb (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 793ea4ab70b823bd823a2c7fb34b386d31ca3137
Author: Martin Liska
Date: Thu May 28 14:38:58 2020 +0200
Mention C-Vise and C-Reduce instead of Delta.
diff --git a/htdocs/bugs/minimize.html b/htdocs/bugs/minimize.html
index 6197169a..4503b73f 100644
--- a/htdocs/bugs/minimize.html
+++ b/htdocs/bugs/minimize.html
@@ -67,7 +67,7 @@ the bug. For this, either use the undo function of your editor, or use
frequent backup files; alternatively, you can use #if 0
and #endif
. The automatic and recommended way to
reduce
-a testcase is using the Delta tool.
+a testcase is using the C-Vise or the C-Reduce tool.
If you have access to the original sources, it is better to start
with the original sources and when those cannot be reduced further,
-----------------------------------------------------------------------
Summary of changes:
htdocs/bugs/minimize.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
hooks/post-receive
--
gcc-wwwdocs