gcc-wwwdocs branch master updated. bf45ac10505f02e59a0dfb13540cc8d7f5a21a68

gcc-wwwdocs branch master updated. bf45ac10505f02e59a0dfb13540cc8d7f5a21a68

[gerald]

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  bf45ac10505f02e59a0dfb13540cc8d7f5a21a68 (commit)
      from  48bf344a22d4c505dde33a4654e01386f14d18df (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 bf45ac10505f02e59a0dfb13540cc8d7f5a21a68
Author: Gerald Pfeifer <gerald@pfeifer.com>
Date:   Sun Oct 20 17:54:09 2019 +0200

    www.polyhedron.com is now polyhedron.com.

diff --git a/htdocs/readings.html b/htdocs/readings.html
index 42dd285..fd42aaf 100644
--- a/htdocs/readings.html
+++ b/htdocs/readings.html
@@ -461,7 +461,7 @@ names.
         Tests of run-time checking capabilities
         <ul>
           <li>
-            <a href="https://www.polyhedron.com/">Polyhedron tests</a>
+            <a href="https://polyhedron.com">Polyhedron tests</a>
           </li>
         </ul>
       </li>

-----------------------------------------------------------------------

Summary of changes:
 htdocs/readings.html |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)


hooks/post-receive
-- 
gcc-wwwdocs