gcc-wwwdocs branch master updated. 793ea4ab70b823bd823a2c7fb34b386d31ca3137

gcc-wwwdocs branch master updated. 793ea4ab70b823bd823a2c7fb34b386d31ca3137

[Martin Liska]

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 <mliska@suse.cz>
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 <code>#if 0</code>
 and <code>#endif</code>. The automatic and <em>recommended</em> way to
 <a href="https://gcc.gnu.org/wiki/A_guide_to_testcase_reduction">reduce
-a testcase is using the Delta tool</a>.</p>
+a testcase is using the C-Vise or the C-Reduce tool</a>.</p>
 
 <p>If you have access to the original sources, it is better to start
 with the <a href="#original">original sources</a> 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